Abstract
It is demonstrated how Kripke models for intuitionistic predicate logic can be applied in order to prove classical theorems. As examples proofs of the independence of the axiom of constructibility, of the omitting types theorem and of Shelah's ultrapower theorem are sketched.
Similar content being viewed by others
References
H. Andréka, B. Dahn, I. Németi, On a proof of Shelah, Bulletin de l' Académie Polonaise des Sciences, Série des sciences math., astr. et phys. 24 (1976), pp. 1–7.
B. Dahn, Dissertation (B), Berlin 1979.
M. C. Fitting, Intuitionistic logic, model theory and forcing, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, London 1969.
H. J. Keisler, Forcing and the omitting types theorem, Studies in Model Theory, pp. 96–133, MAA Studies in Mathematics vol. 8, Math. Assoc. Amer., Buffalo N.Y. 1973.
S. Shelah, Every two elementarily equivalent models have isomorphic ultrapowers, Israel Journal of Mathematics 10 (1971), pp. 224–233.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dahn, B.I. Constructions of classical models by means of Kripke models (survey). Stud Logica 38, 401–405 (1979). https://doi.org/10.1007/BF00370477
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370477