16 search results - page 2 / 4 » mlq 2002 |
103
Voted
MLQ
2002
15 years 14 days ago
2002
We will analyze some extensions of Martin-L
76
Voted
MLQ
2002
15 years 14 days 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...
73
Voted
MLQ
2002
15 years 14 days ago
2002
We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
MLQ
2002
15 years 14 days 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...
81
Voted
MLQ
2002
15 years 14 days 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...