Notes on local reflection principles

Theoria 63 (3):139-146 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1997.tb00744.x

Other Versions

No versions found

Links

PhilArchive



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

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

Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 , pp. 193–242. [REVIEW]Volker Halbach - 2002 - Bulletin of Symbolic Logic 8 (2):302-303.
Worms, gaps, and hydras.Lorenzo Carlucci - 2005 - Mathematical Logic Quarterly 51 (4):342-350.
LD BEKLEMISHEV Proof-theoretic analysis by iterated reflection 515 EJ GRIFFITHS Limit lemmas and jump inversion in the enumeration degrees 553.M. Kim, D. Cenzer, Pg Hinman & L. Newelski - 2003 - Archive for Mathematical Logic 42 (6):614.
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
Local reflection, definable elements and 1-provability.Evgeny Kolmakov - 2020 - Archive for Mathematical Logic 59 (7-8):979-996.
Contributors to Theoria 91.[author unknown] - 1998 - Theoria 45 (91):119-120.
Proof-theoretic analysis by iterated reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
Notes on the Contributors.[author unknown] - 2002 - Theoria 49 (99):144-145.
Notes on the Contributors.[author unknown] - 2004 - Theoria 51 (104):244-246.
Notes on the Contributors.[author unknown] - 2002 - Theoria 49 (100):131-132.

Analytics

Added to PP
2010-09-13

Downloads
73 (#287,407)

6 months
6 (#858,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.
Slow reflection.Anton Freund - 2017 - Annals of Pure and Applied Logic 168 (12):2103-2128.
A Mathematical Commitment Without Computational Strength.Anton Freund - 2022 - Review of Symbolic Logic 15 (4):880-906.

View all 6 citations / Add more citations

References found in this work

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.

View all 8 references / Add more references