The strength of compactness for countable complete linear orders
From MaRDI portal
Publication:5118457
DOI10.3233/COM-190262zbMath1485.03028arXiv1904.01482OpenAlexW2976248141MaRDI QIDQ5118457
Publication date: 8 September 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.01482
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