Abstract
For every sequence ϕ ≡ |p n } n∈ω of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory ℐ diagonalizable algebras, we associate a formulaϕ 0 A, called “the value ofA inPA with respect to the interpretationϕ.”
We show that, ifA is true in every diagonalizable algebra, then, for everyϕ, ϕ 0 A is a theorem ofPA.
Similar content being viewed by others
References
C. Bernardi,The uniqueness of the fixed points in every diagonalizable algebra (The algebraization of theories which express Theor; VIII),Studia, Logica 35 (1976), pp. 335–343.
S. Feferman,Arithmetization of metamathematics in a general setting,Fundamenta Mathematicae 49 (1960),
R. Magari,The diagonalizable algebras (The algebraization of theories which express Theor; II),Bolletino della Unione Matematica Italiana (4), 12, Suppl. fasc. 3 (1975), pp. 117–125.
—,Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor; IV),Studia Logica 34 (1975), pp. 305–313.
—,On the autological character of diagonalizable algebras (The algebraization of theories which express Theor; VII),Studia Logica 35 (1976), pp. 327–333.
G. Sambin,An effective fixed-point theorem in intuitionistic diagonalizable algebras (The algebraization of theories which express Theor; IX),Studia Logica 35 (1976), pp. 345–361.
R. Solovay,Provability interpretations of modal logic,Journal of Mathematics 25 (1976), pp. 287–304.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Montagna, F. Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic. Stud Logica 39, 347–354 (1980). https://doi.org/10.1007/BF00713544
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00713544