A functorial property of the Aczel-Buchholz-Feferman function
Journal of Symbolic Logic 59 (3):945-955 (1994)
| Abstract | Let Ω be the least uncountable ordinal. Let K(Ω) be the category where the objects are the countable ordinals and where the morphisms are the strictly monotonic increasing functions. A dilator is a functor on K(Ω) which preserves direct limits and pullbacks. Let $\tau \Omega: \xi = \omega^\xi\}$ . Then τ has a unique "term"-representation in Ω. λξη.ω ξ + η and countable ordinals called the constituents of τ. Let $\delta and K(τ) be the set of the constituents of τ. Let β = max K(τ). Let [ β ] be an occurrence of β in τ such that τ [ β] = τ. Let $\bar \theta$ be the fixed point-free version of the binary Aczel-Buchholz-Feferman-function (which is defined explicitly in the text below) which generates the Bachman-hierarchy of ordinals. It is shown by elementary calculations that $\xi \mapsto \bar \theta(\tau \lbrack \gamma + \xi \rbrack)\delta$ is a dilator for every $\gamma > \max\{\beta. \delta.\omega\}$ | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPierluigi Minari, Mitio Takano & Hiroakira Ono (1990). Intermediate Predicate Logics Determined by Ordinals. Journal of Symbolic Logic 55 (3):1099-1124.
Jean A. Larson (2000). An Ordinal Partition Avoiding Pentagrams. Journal of Symbolic Logic 65 (3):969-978.
Andreas Weiermann (2001). Some Interesting Connections Between the Slow Growing Hierarchy and the Ackermann Function. Journal of Symbolic Logic 66 (2):609-628.
Carl G. Jockusch & Tamara J. Lakins (2002). Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness". Journal of Symbolic Logic 67 (3):1078 - 1082.
Carl G. Jockusch Jr & Tamara J. Lakins (2002). Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness". Journal of Symbolic Logic 67 (3):1078 - 1082.
Carl G. Jockusch Jr & Tamara J. Lakins (2002). Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness". Journal of Symbolic Logic 67 (3):1078 - 1082.
J. Duparc (2003). The Steel Hierarchy of Ordinal Valued Borel Mappings. Journal of Symbolic Logic 68 (1):187-234.
Tom Linton (1991). Countable Structures, Ehrenfeucht Strategies, and Wadge Reductions. Journal of Symbolic Logic 56 (4):1325-1348.
Andreas Weiermann (1993). Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions. Journal of Symbolic Logic 58 (2):664-671.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,406 of 556,895 )Recent downloads (6 months)1 ( #64,931 of 556,895 )How can I increase my downloads? |
My notes
Discussion
