16 search results - page 2 / 4 » mlq 2002 |
MLQ
2002
13 years 5 months ago
2002
We will analyze some extensions of Martin-L
MLQ
2002
13 years 5 months ago
2002
The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed points of a certain type of update procedure, which is implicit in the epsilon-substitution met...
MLQ
2002
13 years 5 months ago
2002
We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
MLQ
2002
13 years 5 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
13 years 5 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...