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

Authors
Wolfram Pohlers
University of Muenster
Abstract
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
Options
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.

Analytics

Added to PP index
2013-12-26

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?

Downloads

My notes