Notes on local reflection principles

Theoria

Volumn 63, Issue 3, 1997, Pages 139-146

  Beklemishev, Lev ^a  

^a STEKLOV MATHEMATICAL INSTITUTE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042252007     PISSN: 00405825     EISSN: 17552567     Source Type: Journal    
DOI: 10.1111/j.1755-2567.1997.tb00744.x     Document Type: Article

References (9)

1. L. D. BEKLEMISHEV. Bimodal logics for extensions of arithmetical theories. The Journu1 of Symbolic Logic, 61: 91-124, 1996
2. L. D. BEKLEMISHEV. Iterated local reflection vs. iterated consistency. Annals of Pure and Applied Logic, 75: 25-48, 1995
3. G. BOOLOS. The Logic of Provability. Cambridge UP, Cambridge, 1993
4. S. GORYACHEV. On interpretability of some extensions of arithmetic. Mat. Zametki, 40: 561 -572. 1986. In Russian
5. G. KREISEL and A. LÉVY. Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für Math. Logik und Grundlagen der Math.. 14: 97-142, 1968
6. P. LINDSTRÖM. On partially conservative sentences and interpretability. Proceedings of the AMS, 91(3): 436-443, 1984
7. U. R. SCHMERL. A fine structure generated by reflection formulas over Primitive Recursive Arithmetic. In M. BOFFA, D. VAN DALEN, and K. MCALOON (editors), Logic Colloquium '78, pages 335-350. North Holland, Amsterdam, 1979
8. C. SMORYŃSKI. The incompleteness theorems. In J. BARWISE (editor), Handbook of Mathematical Logic. pages 821-865. North Holland, Amsterdam, 1977
9. C. SMORYŃSKI. Self-Reference and Modal Logic. Springer-Verlag, Berlin-Heidelberg-New-York, 1985