We show that for every well ordered cardinal number m the Tychonoff product 2 m is a compact space without the use of any choice but in Cohen's Second Model 2 R is not compact.
Sequential topological conditions in ℝ in the absence of the axiom of choice
✍ Scribed by Gonçalo Gutierres
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 115 KB
- Volume
- 49
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
It is known that – assuming the axiom of choice – for subsets A of ℝ the following hold: (a) A is compact iff it is sequentially compact, (b) A is complete iff it is closed in ℝ, (c) ℝ is a sequential space. We will show that these assertions are not provable in the absence of the axiom of choice, and that they are equivalent to each
📜 SIMILAR VOLUMES
## Abstract We show that the Axiom of Choice is equivalent to each of the following statements: (i) A product of closures of subsets of topological spaces is equal to the closure of their product (in the product topology); (ii) A product of complete uniform spaces is complete.
We find some characterizations of the Axiom of Choice (AC) in terms of certain families of open sets in TI spaces.
## Abstract It is easy to prove in ZF^−^ (= Zermelo‐Fraenkel set theory without the axioms of choice and foundation) that a relation __R__ satisfies the maximal condition if and only if its transitive hull __R__\* does; equivalently: __R__ is well‐founded if and only if __R__\* is. We will show in
## Abstract We study within the framework of Zermelo‐Fraenkel set theory ZF the role that the axiom of choice plays in the theory of Lindelöf metric spaces. We show that in ZF the weak choice principles: (i) Every Lindelöf metric space is separable and (ii) Every Lindelöf metric space is second cou
## Abstract A weak form of intuitionistic set theory **WST** lacking the axiom of extensionality is introduced. While **WST** is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up **WST** with moderate extensionality principles or quoti