Patterns of resemblance and Bachmann-Howard fixed points

DOI10.1007/S00029-021-00748-WMaRDI QIDQ6356435arXivFDO

Authors Anton Freund

Publication date 18 December 2020

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00029-021-00748-W

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Ordinal and cardinal numbers (03E10) Recursive ordinals and ordinal notations (03F15)

arXiv classification

math.LO

Abstract: Timothy Carlson's patterns of resemblance employ the notion of $Sigm{a}_1$-elementarity to describe large computable ordinals. It has been conjectured that a relativization of these patterns to dilators leads to an equivalence with $P{i}_1^1$-comprehension (Question 27 of A. Montalb'an's "Open questions in reverse mathematics", Bull. Symb. Log. 17(3)2011, 431-454). In the present paper we prove this conjecture. The crucial direction (towards $P{i}_1^1$-comprehension) is reduced to a previous result of the author, which is concerned with relativizations of the Bachmann-Howard ordinal.

This page was built for publication: Patterns of resemblance and Bachmann-Howard fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6356435)