• Corpus ID: 236881346

$k$-spaces, sequential spaces and related topics in the absence of the axiom of choice

@inproceedings{Keremedis2021kspacesSS,
  title={\$k\$-spaces, sequential spaces and related topics in the absence of the axiom of choice},
  author={Kyriakos Keremedis and Eliza Wajch},
  year={2021}
}
In the absence of the axiom of choice, new results concerning sequential, Fréchet-Urysohn, k-spaces, very k-spaces, Loeb and Cantor completely metrizable spaces are shown. New choice principles are introduced. Among many other theorems, it is proved in ZF that every Loeb, T3-space having a base expressible as a countable union of finite sets is a metrizable second-countable space whose every Fσ-subspace is separable; moreover, every Gδ-subspace of a second-countable, Cantor completely… 
1 Citations
Partition models, Permutations of infinite sets without fixed points, Variants of CAC, and weak forms of AC
  • Amitayu Banerjee
  • Mathematics
  • 2021
We study new relations of the following statements with weak choice principles in ZF (ZermeloFraenkel set theory without the Axiom of Choice (AC)) and ZFA (ZF with the axiom of extensionality

References

SHOWING 1-10 OF 36 REFERENCES
Second-countable compact Hausdorff spaces as remainders in ZF and two new notions of infiniteness
Abstract In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders
On Loeb and sequential spaces in ZF
Abstract A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. Loeb and sequential spaces are investigated in the absence of the axiom of
Compact complement topologies and k-spaces
Let (X,?) be a Hausdorff space, where X is an infinite set. The compact complement topology ?* on X is defined by: ?* = {0}?{X\M:M is compact in (X,?)}. In this paper, properties of the space
THE AXIOM OF CHOICE
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show
Weak axioms of choice for metric spaces
In the framework of ZF, i.e., Zermelo-Fraenkel set theory without the axiom of choice AC, we show that if the family of all non-empty, closed subsets of a metric space (X, d) has a choice function,
Compact Metric Spaces and Weak Forms of the Axiom of Choice
TLDR
It is shown that the statement: “Compact metric spaces are weakly Loeb” is not provable in ZF, the Zermelo-Fraenkel set theory without the axiom of regularity, and that the countableAxiom of choice for families of finite sets CACfin does not imply the statement “ compacts are separable”.
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
TLDR
The weak choice principles in ZF are shown to be equivalent and it is proved that a Lindelof metric space is hereditarily separable iff it isHereditarily Lindel of if f it hold as well the axiom of choice restricted to countable sets and to topologies of LindelOf metric spaces as the countable union theorem restricted to Lindelor metric spaces.
A dedekind finite borel set
TLDR
This paper proves three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice, including that if B is a B-set then either B is countable or B contains a perfect subset.
On the relative strength of forms of compactness of metric spaces and their countable productivity in ZF
Abstract We show in ZF that: (i) A countably compact metric space need not be limit point compact or totally bounded and, a limit point compact metric space need not be totally bounded. (ii) A
On sequentially closed subsets of the real line in ZF
We show: (i) iff every countable product of sequential metric spaces (sequentially closed subsets are closed) is a sequential metric space iff every complete metric space is Cantor complete.
...
1
2
3
4
...