Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

Mathematical Logic Quarterly 14 (7-12):97-142 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

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.
Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.
Parallel strategies.Pavel Pudlák - 2003 - Journal of Symbolic Logic 68 (4):1242-1250.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
The behavior analytic approach to language and thought.R. E. Lana - 2002 - Journal of Mind and Behavior 23 (1-2):31-49.
Bimodal Logic.Daniel Rönnedal - 2012 - Polish Journal of Philosophy 6 (2):71-93.
On reflection principles.Peter Koellner - 2009 - Annals of Pure and Applied Logic 157 (2-3):206-219.

Analytics

Added to PP
2016-02-04

Downloads
76 (#198,912)

6 months
7 (#176,166)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
Reflection ranks and ordinal analysis.Fedor Pakhomov & James Walsh - 2021 - Journal of Symbolic Logic 86 (4):1350-1384.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.

View all 63 citations / Add more citations