References
Goldfarb, W., Scanlon, T.M.: ω-consistency andk-consistency of Arithmetic (to appear).
Hilbert, D., Bernays, P.: Grundlagen der Mathematik II, 2d ed., 1970.
Author information
Authors and Affiliations
Additional information
My thanks are due to T.M. Scanlon for conversation and a most helpful suggestion in connection with the soundness proof.
Rights and permissions
About this article
Cite this article
Boolos, G.S. On Kalmar's consistency proof and a generalization of the notion of ω-consistency. Arch math Logik 17, 3–7 (1975). https://doi.org/10.1007/BF02280806
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280806