Bar induction and ω model reflection

&
Annals of Pure and Applied Logic 97 (1-3):221-230 (1999)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(98)00056-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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 - Mineola, N.Y.: 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
2014-01-16

Downloads
21 (#718,251)

6 months
13 (#182,749)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 7 citations / Add more citations

References found in this work

Add more references