On the Slowly Well Orderedness of ɛo

Mathematical Logic Quarterly 48 (1):125-130 (2002)

Abstract

For α < ε0, Nα denotes the number of occurrences of ω in the Cantor normal form of α with the base ω. For a binary number-theoretic function f let B denote the length n of the longest descending chain of ordinals <ε0 such that for all i < n, Nαi ≤ f . Simpson [2] called ε0 as slowly well ordered when B is totally defined for f = K · . Let |n| denote the binary length of the natural number n, and |n|k the k-times iterate of the logarithmic function |n|. For a unary function h let L denote the function B ) with h0 = K + |i| · |i|h. In this note we show, inspired from Weiermann [4], that, under a reasonable condition on h, the functionL is primitive recursive in the inverse h–1 and vice versa

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-12-01

Downloads
9 (#958,211)

6 months
1 (#388,319)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

An Application of Graphical Enumeration to PA.Andreas Weiermann - 2003 - Journal of Symbolic Logic 68 (1):5-16.
Phase Transitions for Gödel Incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.
A Comparison of Well-Known Ordinal Notation Systems for Ε0.Gyesik Lee - 2007 - Annals of Pure and Applied Logic 147 (1):48-70.

Add more citations

Similar books and articles

On the Slowly Well Orderedness of Epsilon~0.T. Arai - 2002 - Mathematical Logic Quarterly 48 (1):125-130.
Japanese and US Publishers: Getting to Know Each Other - Slowly.Ronald Suleski - 1992 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 3 (2):86-89.
The Bachmann-Howard Structure in Terms of Σ1-Elementarity.Gunnar Wilken - 2006 - Archive for Mathematical Logic 45 (7):807-829.
Leo Strauss’s Discovery of the Theologico-Political Problem.Steven Benjamin Smith - 2013 - European Journal of Political Theory 12 (4):388-408.