The strength of compactness for countable complete linear orders

DOI10.3233/COM-190262zbMath1485.03028arXiv1904.01482MaRDI 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 orders; reverse mathematics; order topology

Mathematics Subject Classification ID

54F05: Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces

03B30: Foundations of classical theories (including reverse mathematics)

06A05: Total orders