We fill an apparent gap in the literature by giving a short and self-contained proof that the ordinal of the theory RCA0+WO(σ) is σ^ω , for any ordinal σ satisfying ω⋅σ=σ (e.g., ω^ω , ω^ω^ω , ε0 ). Theories of the form RCA0+WO(σ) are of interest in Proof Theory and Reverse Mathematics because of their connections to a number of well-investigated combinatorial principles related to various subsystems of arithmetic.
A note on the ordinal analysis of RCA0 + WO(σ) / Carlucci, Lorenzo; Mainardi, Leonardo; Rathjen, Michael. - 11558:(2019), pp. 144-155. (Intervento presentato al convegno Computability in Europe 2019 tenutosi a Durham; United Kingdom) [10.1007/978-3-030-22996-2_13].
A note on the ordinal analysis of RCA0 + WO(σ)
Carlucci, Lorenzo
;Mainardi, Leonardo;
2019
Abstract
We fill an apparent gap in the literature by giving a short and self-contained proof that the ordinal of the theory RCA0+WO(σ) is σ^ω , for any ordinal σ satisfying ω⋅σ=σ (e.g., ω^ω , ω^ω^ω , ε0 ). Theories of the form RCA0+WO(σ) are of interest in Proof Theory and Reverse Mathematics because of their connections to a number of well-investigated combinatorial principles related to various subsystems of arithmetic.File | Dimensione | Formato | |
---|---|---|---|
Carlucci_Ordinal-Analysis_2019.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
3.31 MB
Formato
Adobe PDF
|
3.31 MB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.