Annals of Pure and Applied Logic 156 (1):160-169 (2008)

Wolfram Pohlers
University of Muenster
Exploiting the fact that -definable non-monotone inductive definitions have the same closure ordinal as arbitrary arithmetically definable monotone inductive definitions, we show that the proof theoretic ordinal of an axiomatization of -definable non-monotone inductive definitions coincides with the proof theoretic ordinal of the theory of arithmetically definable monotone inductive definitions
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2008.06.014
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: 63,417
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

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Monotone Inductive Definitions in Explicit Mathematics.Michael Rathjen - 1996 - Journal of Symbolic Logic 61 (1):125-146.
A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
Monotone Inductive Definitions Over the Continuum.Douglas Cenzer - 1976 - Journal of Symbolic Logic 41 (1):188-198.
Proof Theory and Ordinal Analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
Global Inductive Definability.Jon Barwise & Yiannis N. Moschovakis - 1978 - Journal of Symbolic Logic 43 (3):521-534.
Deductively Definable Logies of Induction.John D. Norton - 2010 - Journal of Philosophical Logic 39 (6):617 - 654.


Added to PP index

Total views
55 ( #193,751 of 2,449,114 )

Recent downloads (6 months)
1 ( #442,577 of 2,449,114 )

How can I increase my downloads?


My notes