Proof-theoretic strengths of weak theories for positive inductive definitions

Journal of Symbolic Logic 83 (3):1091-1111 (2018)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2018.36
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
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

Proof-Theoretic Investigations on Kruskal's Theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
A New System of Proof-Theoretic Ordinal Functions.W. Buchholz - 1986 - Annals of Pure and Applied Logic 32 (3):195-207.
A Note on the Theory of Positive Induction, {{Rm ID}^*_1}.Bahareh Afshari & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):275-281.
Bar Induction and Ω Model Reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ordinal Analysis of Non-Monotone-Definable Inductive Definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
The Strength of Extensionality I—Weak Weak Set Theories with Infinity.Kentaro Sato - 2009 - Annals of Pure and Applied Logic 157 (2-3):234-268.
Functional Interpretation and Inductive Definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.

Analytics

Added to PP index
2018-10-25

Total downloads
3 ( #868,584 of 2,302,572 )

Recent downloads (6 months)
3 ( #200,562 of 2,302,572 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature