81 search results - page 8 / 17 » mlq 2006 |
MLQ
2000
13 years 7 months ago
2000
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak
MLQ
2000
13 years 7 months ago
2000
We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
MLQ
2000
13 years 7 months ago
2000
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
MLQ
2002
13 years 7 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 7 months ago
2002
We study the Tychonoff Compactness Theorem for several different definitions of a compact space.