The strength of compactness for countable complete linear orders

DOI10.3233/COM-190262zbMath1485.03028arXiv1904.01482OpenAlexW2976248141MaRDI QIDQ5118457

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 ordersreverse mathematicsorder topology

Mathematics Subject Classification ID

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

Related Items (2)

ON THE UNCOUNTABILITY OF ⋮ The Ginsburg-Sands theorem and computability theory

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