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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev - 1997 - Annals of Pure and Applied Logic 85 (3):193-242.
Some results on cut-elimination, provable well-orderings, induction and reflection.Toshiyasu Arai - 1998 - Annals of Pure and Applied Logic 95 (1-3):93-184.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
Positive provability logic for uniform reflection principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.
The bounded functional interpretation of bar induction.Patrícia Engrácia - 2012 - Annals of Pure and Applied Logic 163 (9):1183-1195.
On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.
When is arithmetic possible?Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 50 (1):29-51.

Analytics

Added to PP
2014-01-16

Downloads
33 (#696,986)

6 months
9 (#528,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 8 citations / Add more citations

References found in this work

Add more references