Logo des Repositoriums
  • English
  • Deutsch
Anmelden
Keine TU-ID? Klicken Sie hier für mehr Informationen.
  1. Startseite
  2. Publikationen
  3. Publikationen der Technischen Universität Darmstadt
  4. Zweitveröffentlichungen (aus DeepGreen)
  5. Patterns of resemblance and Bachmann-Howard fixed points
 
  • Details
2022
Zweitveröffentlichung
Artikel
Verlagsversion

Patterns of resemblance and Bachmann-Howard fixed points

File(s)
Download
Hauptpublikation
s00029-021-00748-w.pdf
CC BY 4.0 International
Format: Adobe PDF
Size: 520.64 KB
TUDa URI
tuda/10152
URN
urn:nbn:de:tuda-tuprints-234272
DOI
10.26083/tuprints-00023427
Autor:innen
Freund, Anton ORCID 0000-0002-5456-5790
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.

Freie Schlagworte

Patterns of resemblan...

Σ₁-elementarity

॥¹₁-comprehension

Admissible sets

Bachmann-Howard ordin...

Dilators

Sprache
Englisch
Fachbereich/-gebiet
04 Fachbereich Mathematik > Logik
DDC
500 Naturwissenschaften und Mathematik > 510 Mathematik
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
10.1007/s00029-021-00748-w
PPN
532556461
Zusätzliche Infomationen
Mathematics Subject Classification: 03B30 · 03D60 · 03E10 · 03F15
Artikel-ID
19

  • TUprints Leitlinien
  • Cookie-Einstellungen
  • Impressum
  • Datenschutzbestimmungen
  • Webseitenanalyse
Diese Webseite wird von der Universitäts- und Landesbibliothek Darmstadt (ULB) betrieben.