Annals of Pure and Applied Logic 30 (2):165-171 (1986)

We consider intuitionistic number theory with recursive infinitary rules . Any primitive recursive binary relation for which transfinite induction schema is provable is in fact well founded. Its ordinal is less than ε 0 if the transfinite induction schema is intuitionistically provable in elementary number theory. These results are provable intuitionistically. In fact, it suffices to consider transfinite induction with respect to one particular number-theoretic property
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(86)90004-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,388
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Variant to Hilbert's Theory of the Foundations of Arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.
Degrees of Unsolvability.Gerald E. Sacks - 1963 - Princeton University Press.

Add more references

Citations of this work BETA

Well-Foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.

Add more citations

Similar books and articles

A Construction for Recursive Linear Orderings.C. J. Ash - 1991 - Journal of Symbolic Logic 56 (2):673-683.
Up to Equimorphism, Hyperarithmetic Is Recursive.Antonio Montalbán - 2005 - Journal of Symbolic Logic 70 (2):360 - 378.
A Recursion Principle for Linear Orderings.Juha Oikkonen - 1992 - Journal of Symbolic Logic 57 (1):82-96.
Recursive Automorphisms of Recursive Linear Orderings.Steven Schwarz - 1984 - Annals of Pure and Applied Logic 26 (1):69-73.
Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Recursive Well-Orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
Arithmetical Interpretations of Dynamic Logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
On Provable Recursive Functions.H. B. Enderton - 1968 - Notre Dame Journal of Formal Logic 9 (1):86-88.
Recursive Well-Founded Orderings.Keh-Hsun Chen - 1978 - Annals of Mathematical Logic 13 (2):117-147.


Added to PP index

Total views
10 ( #869,755 of 2,445,493 )

Recent downloads (6 months)
1 ( #457,182 of 2,445,493 )

How can I increase my downloads?


My notes