A two-cardinal theorem for homogeneous sets and the elimination of Malitz quantifiers

Rothmaler, Philipp; Tuschik, Peter

doi:10.1090/S0002-9947-1982-0637038-9

A two-cardinal theorem for homogeneous sets and the elimination of Malitz quantifiers
HTML articles powered by AMS MathViewer

by Philipp Rothmaler and Peter Tuschik

Trans. Amer. Math. Soc. 269 (1982), 273-283

DOI: https://doi.org/10.1090/S0002-9947-1982-0637038-9

PDF | Request permission

Abstract:

Sufficient conditions for the eliminability of Malitz quantifiers in a complete first order theory are given. Proving that certain superstable and not $\omega$-stable theories satisfy these conditions, a question of Baldwin and Kueker is answered negatively.

References

John T. Baldwin and David W. Kueker, Ramsey quantifiers and the finite cover property, Pacific J. Math. 90 (1980), no. 1, 11–19. MR 599315
Solomon Feferman, Two notes on abstract model theory. II. Languages for which the set of valid sentences is semi-invariantly implicitly definable, Fund. Math. 89 (1975), no. 2, 111–130. MR 491139, DOI 10.4064/fm-89-2-111-130
Steven Garavaglia, Relative strength of Malitz quantifiers, Notre Dame J. Formal Logic 19 (1978), no. 3, 495–503. MR 485164
J. A. Makowsky, On some conjectures connected with complete sentences, Fund. Math. 81 (1974), 193–202. MR 366647, DOI 10.4064/fm-81-3-193-202
Menachem Magidor and Jerome Malitz, Compact extensions of $L(Q)$. Ia, Ann. Math. Logic 11 (1977), no. 2, 217–261. MR 453484, DOI 10.1016/0003-4843(77)90019-5
Gerald E. Sacks, Saturated model theory, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1972. MR 0398817
Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam-New York, 1978. MR 513226

Kategorizität

Elimination of cardinality quantifiers