Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

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


Authors: Philipp Rothmaler and Peter Tuschik
Journal: Trans. Amer. Math. Soc. 269 (1982), 273-283
MSC: Primary 03C80; Secondary 03C10
DOI: https://doi.org/10.1090/S0002-9947-1982-0637038-9
MathSciNet review: 637038
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [BK] J. T. Baldwin and D. W. Kueker, Ramsey quantifiers and the finite cover property, Pacific J. Math. 90 (1980), 11-19. MR 599315 (83e:03054)
  • [FE] S. Feferman, Two notes on abstract model theory. II, Fund. Math. 89 (1975), 111-130. MR 0491139 (58:10405)
  • [GA] S. Garavaglia, Relative strength of Malitz quantifiers (preprint). MR 0485164 (58:5018)
  • [MA] J. A. Makowsky, On some conjectures connected with complete sentences, Fund. Math. 81 (1974), 193-202. MR 0366647 (51:2894)
  • [MM] M. Magidor and J. Malitz, Compact extensions of $ L(Q)$, Ann. Math. Logic 11 (1977), 217-261. MR 0453484 (56:11746)
  • [SA] G. E. Sacks, Saturated model theory, Benjamin, New York, 1972. MR 0398817 (53:2668)
  • [SH] S. Shelah, Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978. MR 513226 (81a:03030)
  • [TU1] P. Tuschik, $ {\aleph _1}$-Kategorizität, Dissertation (A), Humboldt-Univ., Berlin, 1975.
  • [TU2] -, Elimination of cardinality quantifiers (contributed paper at the 4th Bierutowice Conf., Karpacz, Poland, September 1979).

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03C80, 03C10

Retrieve articles in all journals with MSC: 03C80, 03C10


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1982-0637038-9
Keywords: Elimination of generalized quantifiers, first order theories, f.c.p., two cardinal theorem, stability, categoricity, finite axiomatizability
Article copyright: © Copyright 1982 American Mathematical Society

American Mathematical Society