\(\Pi_1^1\)-comprehension as a well-ordering principle

DOI10.1016/j.aim.2019.106767zbMath1441.03012arXiv1809.06759MaRDI QIDQ2274030

Anton Freund

Publication date: 19 September 2019

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

ATR; reverse mathematics; ordinal analysis; admissible sets; well-ordering principles; dilators; \(\Pi_1^1\)-CA; \(\Pi_1^1\)-comprehension

Mathematics Subject Classification ID

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

03F35: Second- and higher-order arithmetic and fragments

03F15: Recursive ordinals and ordinal notations

03D60: Computability and recursion theory on ordinals, admissible sets, etc.