Annals of Pure and Applied Logic 97 (1-3):221-230 (1999)
| Abstract |
We show that the principle of ω model reflection for Π1n − 1 formulas is equivalent over ACA0 to the scheme of Π1n bar induction. This extends and refines previous results of Friedman and Simpson
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/s0168-0072(98)00056-6 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Citations of this work BETA
Δ 0 3 -Determinacy, Comprehension and Induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
Reverse Mathematics and Well-Ordering Principles: A Pilot Study.Bahareh Afshari & Michael Rathjen - 2009 - Annals of Pure and Applied Logic 160 (3):231-237.
Proof-Theoretic Strengths of Weak Theories for Positive Inductive Definitions.Toshiyasu Arai - 2018 - Journal of Symbolic Logic 83 (3):1091-1111.
A Flexible Type System for the Small Veblen Ordinal.Florian Ranzi & Thomas Strahm - 2019 - Archive for Mathematical Logic 58 (5-6):711-751.
A Few More Dissimilarities Between Second-Order Arithmetic and Set Theory.Kentaro Fujimoto - forthcoming - Archive for Mathematical Logic:1-60.
Similar books and articles
Some Theories with Positive Induction of Ordinal Strength Φω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
More on Full Reflection Below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Some Theories with Positive Induction of Ordinal Strength $Varphiomega 0$.Gerhard Jager & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
A Recursive Nonstandard Model of Normal Open Induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
A Note on the Theory of Positive Induction, $${{\rm ID}^*_1}$$.Bahareh Afshari & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):275-281.
A Model Theory of Induction.Philip N. Johnson‐Laird - 1994 - International Studies in the Philosophy of Science 8 (1):5 – 29.
Reflection and Text: Revisiting the Relation Between Pre-Reflective and Reflective Experience. [REVIEW]Wenjing Cai - 2013 - Human Studies 36 (3):339-355.
Finite Injury and Σ1-Induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Beauty in Science: A New Model of the Role of Aesthetic Evaluations in Science. [REVIEW]Ulianov Montano - 2013 - European Journal for Philosophy of Science 3 (2):133-156.
Quadratic Forms in Normal Open Induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.
Images of Reflection: On the Meanings of the Word Reflection in Different Learning Contexts. [REVIEW]Adrian Ratkic - 2013 - AI and Society 28 (3):339-349.
Elementary Induction on Abstract Structures.Yiannis Nicholas Moschovakis - 1974 - Amsterdam, Netherlands: Dover Publications.
A Frequentist Interpretation of Probability for Model-Based Inductive Inference.Aris Spanos - 2013 - Synthese 190 (9):1555-1585.
On Diophantine Equations Solvable in Models of Open Induction.Margarita Otero - 1990 - Journal of Symbolic Logic 55 (2):779-786.
Analytics
Added to PP index
2014-01-16
Total views
7 ( #1,071,534 of 2,518,495 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,495 )
2014-01-16
Total views
7 ( #1,071,534 of 2,518,495 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,495 )
How can I increase my downloads?
Downloads
