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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,560

External links

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

Through your library

Similar books and articles

More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
A model theory of induction.Philip N. Johnson‐Laird - 1994 - International Studies in the Philosophy of Science 8 (1):5 – 29.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Quadratic forms in normal open induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.

Analytics

Added to PP
2014-01-16

Downloads
9 (#1,067,764)

6 months
2 (#646,201)

Historical graph of downloads
How can I increase my downloads?