2022
Zweitveröffentlichung
Artikel
Verlagsversion
Patterns of resemblance and Bachmann-Howard fixed points
Patterns of resemblance and Bachmann-Howard fixed points
File(s)
Autor:innen
Kurzbeschreibung (Abstract)
Timothy Carlson’s patterns of resemblance employ the notion of Σ₁-elementarity to describe large computable ordinals. It has been conjectured that a relativization of these patterns to dilators leads to an equivalence with π¹₁ -comprehension (Question 27 of A. Montalbán's "Open questions in reversemathematics",Bull.Symb. Log. 17(3)2011, 431-454). In the present paper we prove this conjecture. The crucial direction of the equivalence (towards π¹₁-comprehension) is reduced to a previous result of the author, which is concerned with relativizations of the Bachmann-Howard ordinal.
Sprache
Englisch
Fachbereich/-gebiet
Institution
Universitäts- und Landesbibliothek Darmstadt
Ort
Darmstadt
Titel der Zeitschrift / Schriftenreihe
Selecta Mathematica
Jahrgang der Zeitschrift
28
Heftnummer der Zeitschrift
1
ISSN
1420-9020
Verlag
Birkhäuser
Ort der Erstveröffentlichung
Basel ; Berlin
Publikationsjahr der Erstveröffentlichung
2022
Verlags-DOI
PPN
Zusätzliche Infomationen
Mathematics Subject Classification: 03B30 · 03D60 · 03E10 · 03F15
Artikel-ID
19

