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

&
Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19680140702

Other Versions

reprint Kreisel, G.; Lévy, A. (1968) "Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems". Mathematical Logic Quarterly 14(7-12):97-142
edition Kreisel, G. (1971) "Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems". Journal of Symbolic Logic 36(3):529-532

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,484

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

Kreisel G. and Lévy A.. Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 , pp. 97–142. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):529-532.
Georg Kreisel and William W. Tait. Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 28–38. [REVIEW]Rohit Parikh - 1967 - Journal of Symbolic Logic 32 (2):270-271.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.

Analytics

Added to PP
2011-07-20

Downloads
68 (#259,073)

6 months
7 (#542,440)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Reflection ranks and ordinal analysis.Fedor Pakhomov & James Walsh - 2021 - Journal of Symbolic Logic 86 (4):1350-1384.
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.

View all 57 citations / Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.

View all 10 references / Add more references