81 search results - page 10 / 17 » mlq 2006 |
MLQ
2002
14 years 10 months ago
2002
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...
MLQ
2002
14 years 10 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
MLQ
1998
14 years 10 months ago
1998
Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...
63
Voted
MLQ
1998
14 years 10 months ago
1998
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
MLQ
2007
14 years 10 months ago
2007
Let R be the preorder of embeddability between countable linear orders colored with elements of Rado’s partial order (a standard example of a wqo which is not a bqo). We show tha...