Abstract
Many results concerning the equivalence between a syntactic form of formulas and a model theoretic conditions are proven directly without using any form of a continuum hypothesis. In particular, it is demonstrated that any reduced product sentence is equivalent to a Horn sentence. Moreover, in any first order language without equality one now has that a reduced product sentence is equivalent to a Horn sentence and any sentence is equivalent to a Boolean combination of Horn sentences.
Similar content being viewed by others
References
Chang, C. C., and H. J. Keisler, 1990, Model Theory, North-Holland, Amsterdam, Third Edition.
Galvin, F., ‘Horn sentences’, 1970, Annals of Mathematical Logic 1, 389–422.
Keisler, H. J., 1965, ‘Reduced products and Horn classes’, Transactions of the American Mathematical Society 117, 307–328.
Shelah, S., ‘Every two elementarily equivalent models have isomorphic ultrapowers’, 1971, Israel Journal of Mathematics 10, 224–233.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nelson, G.C. Preservation Theorems Without Continuum Hypothesis. Studia Logica 60, 343–355 (1998). https://doi.org/10.1023/A:1005028511181
Issue Date:
DOI: https://doi.org/10.1023/A:1005028511181