The metamathematics of scattered linear orderings

DOI10.1007/BF01630807zbMath0652.03039OpenAlexW2014809341MaRDI QIDQ1106846

Peter Clote

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01630807

zbMATH Keywords

continuum hypothesisarithmetical transfinite recursionDedekind cutsarithmetic comprehensionHausdorff's theoremmetamathematics of countable linear orderingsscattered linear orderings

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Continuum hypothesis and Martin's axiom (03E50) Total orders (06A05)

Related Items

Equivalence between Fraïssé's conjecture and Jullien's theorem, Reverse mathematics and initial intervals, Borel quasi-orderings in subsystems of second-order arithmetic, Up to equimorphism, hyperarithmetic is recursive, On Fraïssé's conjecture for linear orders of finite Hausdorff rank

Cites Work

• Theory of relations. Transl. from the French by P. Clote
• Optimal bounds for ordinal comparison maps
• Uniformly defined descending sequences of degrees
• Unnamed Item
• Unnamed Item