The strength of compactness for countable complete linear orders

DOI10.3233/COM-190262MaRDI QIDQ5118457zbMATH OpenOpenAlexFDO

Authors Paul Shafer

Publication date 8 September 2020

Published in Computability (Search for Journal in Brave)

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

zbMATH Keywords

linear ordersorder topologyreverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Total orders (06A05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)

Abstract: We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If we require that open covers must be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to $mathsf{WKL}_0$ over $mathsf{RCA}_0$. If open covers need not be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to $mathsf{ACA}_0$ over $mathsf{RCA}_0$. This answers a question of Franc{c}ois Dorais.

Recommendations

• scientific article; zbMATH DE number 1421071
• Ordered compactifications with countable remainders
• On weaker forms of compactness, Lindelöfness, and countable compactness
• Compactifications of Countable-Dimensional and Strongly Countable- Dimensional Spaces
• Ordered compactification of totally ordered spaces
• Linearly ordered compact sets and co-Namioka spaces
• scientific article; zbMATH DE number 1087322
• Countably complementable linear orderings
• Order-compactifications of totally ordered spaces: Revisited
• On a Weaker Form of Countable Compactness

Cited in

(11)

• A strong completeness condition in uniform spaces with well ordered bases
• scientific article; zbMATH DE number 3929925 (Why is no real title available?)
• scientific article; zbMATH DE number 4118981 (Why is no real title available?)
• scientific article; zbMATH DE number 1421071 (Why is no real title available?)
• The Complexity of the Collection of Countable Linear Orders of the form I + I
• On the uncountability of \(\mathbb{R}\)
• scientific article; zbMATH DE number 2236635 (Why is no real title available?)
• The Ginsburg-Sands theorem and computability theory
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• Compactness and symmetric well-orders
• Hybrid maximal filter spaces

This page was built for publication: The strength of compactness for countable complete linear orders

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