Fundamental sequences based on localization
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909807399665664 |
|---|---|
| author | Wilken, Gunnar |
| author_facet | Wilken, Gunnar |
| contents | Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\vartheta$-function-based notation systems of strength $Π^1_1{\operatorname{-CA}_0}$ and prove Bachmann property for these systems, which is essential for monotonicity properties of subrecursive hierarchies defined on the basis of fundamental sequences. The central notion of our construction is the notion of localization, which was introduced in Wilken 2007.
The first kind of stepwise defined $\vartheta$-functions over ordinal addition as basic function fits the framework of the ordinal arithmetical toolkit developed in Wilken 2007, whereas the second kind of $\vartheta$-functions is defined simultaneously and will allow for further generalization to larger proof-theoretic ordinals, see Weiermann and Wilken 2011.
The systems of fundamental sequences given here enable the investigation of fundamental sequences and independence phenomena also in the context of patterns of resemblance, an approach to ordinal notations that is both semantic and combinatorial and was first introduced by Carlson 2001 and further analyzed in Wilken 2006, 2007, and Carlson and Wilken 2012.
Our exposition is put into the context of the abstract approach to fundamental sequences developed by Buchholz, Cichon, and Weiermann 1994. The results of this paper will be applied to the theory of Goodstein sequences, extending results of Fernàndez-Duque and Weiermann 2024. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_15953 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Fundamental sequences based on localization Wilken, Gunnar Logic 03D20, 03D60, 03F15, 03F40 Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\vartheta$-function-based notation systems of strength $Π^1_1{\operatorname{-CA}_0}$ and prove Bachmann property for these systems, which is essential for monotonicity properties of subrecursive hierarchies defined on the basis of fundamental sequences. The central notion of our construction is the notion of localization, which was introduced in Wilken 2007. The first kind of stepwise defined $\vartheta$-functions over ordinal addition as basic function fits the framework of the ordinal arithmetical toolkit developed in Wilken 2007, whereas the second kind of $\vartheta$-functions is defined simultaneously and will allow for further generalization to larger proof-theoretic ordinals, see Weiermann and Wilken 2011. The systems of fundamental sequences given here enable the investigation of fundamental sequences and independence phenomena also in the context of patterns of resemblance, an approach to ordinal notations that is both semantic and combinatorial and was first introduced by Carlson 2001 and further analyzed in Wilken 2006, 2007, and Carlson and Wilken 2012. Our exposition is put into the context of the abstract approach to fundamental sequences developed by Buchholz, Cichon, and Weiermann 1994. The results of this paper will be applied to the theory of Goodstein sequences, extending results of Fernàndez-Duque and Weiermann 2024. |
| title | Fundamental sequences based on localization |
| topic | Logic 03D20, 03D60, 03F15, 03F40 |
| url | https://arxiv.org/abs/2410.15953 |