Kreisel, G., Levy, A.: Re ection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 14 (1968) 97-142 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Explicit Reflection in Theorem Proving and Formal Verification - Artemov (Correct)
....section we will nd lower and upper bounds for the minimal metatheory M capable of establishing soundness and stability of a given veri cation system V . We will use the Turing progression as the standard scale to measure the metamathematical strength of a given extension of the basic theory ([13]) The Turing progression V c of theories (cf. 18] 10] 2] for V is obtained from V by iterating the consistency assumptions along the Church Kleene system of constructive ordinals . We consider the rst theories from the Turing progression. V c 0 = V ; V c n 1 = V c n ....
Kreisel, G., Levy, A.: Re ection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 14 (1968) 97-142
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC