Sequential topologies and Dedekind finite sets

DOI10.1002/MALQ.202100013MaRDI QIDQ6094137zbMATH OpenOpenAlexWikidataFDO

Authors Jindřich Zapletal

Publication date 12 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.10001

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Sequential spaces (54D55)

Abstract: It is consistent with ZF set theory that the Euclidean topology on the real line is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres.

Recommendations

• On sequentially closed subsets of the real line in
• On sequential compactness and related notions of compactness of metric spaces in ZF
• On sequentially compact subspaces of \(\mathbb R\) without the axiom of choice
• Non-discrete metrics in and some notions of finiteness
• scientific article; zbMATH DE number 6131564

Cites work

• Axiom of choice
• Geometric Set Theory
• On sequentially closed subsets of the real line in
• Sequential topological conditions in ℝ in the absence of the axiom of choice

Cited in

(14)

• Dedekind finiteness in topoi
• A recursive determination of topologies on finite sets
• Non-discrete metrics in and some notions of finiteness
• scientific article; zbMATH DE number 996485 (Why is no real title available?)
• scientific article; zbMATH DE number 3877946 (Why is no real title available?)
• scientific article; zbMATH DE number 5652506 (Why is no real title available?)
• Sequential theories and infinite distributivity in the lattice of chapters
• scientific article; zbMATH DE number 1209998 (Why is no real title available?)
• scientific article; zbMATH DE number 510317 (Why is no real title available?)
• Combinatorics of dense subsets of the rationals
• On the definition of topology -- a cautionary tale
• Computer Science Logic
• scientific article; zbMATH DE number 5252208 (Why is no real title available?)
• The first-order structure of weakly Dedekind-finite set

This page was built for publication: Sequential topologies and Dedekind finite sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6094137)