Abstract
G is the result of adjoining the schema □ (□qA→A)→□qA to K; the axioms of G* are the theorems of G and the instances of the schema □qA→A and the sole rule of G* is modus ponens. A sentence is ω-provable if it is provable in P(eano) A(rithmetic) by one application of the ω-rule; equivalently, if its negation is ω-inconsistent in PA. Let ω-Bew(x) be the natural formalization of the notion of ω-provability. For any modal sentence A and function ϕ mapping sentence letters to sentences of PA, inductively define A ωϕ by: p ωϕ = ϕ(p) (p a sentence letter); ⊥ωϕ= ⊥; (A→B)suωϕ}= (A ωϕ→Bωϕ); and (□qA)ωϕ= ω-Bew(⌜A ωϕ⌝)(⌜S⌝) is the numeral for the Gödel number of the sentence S). Then, applying techniques of Solovay (Israel Journal of Mathematics 25, pp. 287–304), we prove that for every modal sentence A,⊢ G A iff for all ϕ, ⊢ PA A ωϕ; and for every modal sentence A, ⊢ G* A iff for all ϕ, A ωϕ is true.
Similar content being viewed by others
Refecences
G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, 1979.
G. Boolos, and R. Jeffrey, Computability and Logic, 1974.
C. C. Chang and H. J. Keisler, Model Theory, 1973.
K. Gödel, Über formal unentscheidbare Sätze..., Monatshefte für Mathematik und Physik 38 (1931), pp. 173–198.
S. C. Kleene, Introduction to Metamathematics, 1952.
M. H. Löb, Solution of a problem of Leon Henkin, Journal of Symbolic Logic 20 (1955), pp. 115–118.
R. Solovay, Provability interpretations of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287–304.
Author information
Authors and Affiliations
Additional information
I should like to thank David Auerbach and Rohit Parikh.
Rights and permissions
About this article
Cite this article
Boolos, G. Omega-consistency and the diamond. Stud Logica 39, 237–243 (1980). https://doi.org/10.1007/BF00370322
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370322