Skip to main content Accessibility help

Nonexistence of universal orders in many cardinals

  • Menachem Kojman (a1) and Saharon Shelah (a2)


Our theme is that not every interesting question in set theory is independent of ZFC. We give an example of a first order theory T with countable D(T) which cannot have a universal model at ℵ1; without CH; we prove in ZFC a covering theorem from the hypothesis of the existence of a universal model for some theory; and we prove—again in ZFC—that for a large class of cardinals there is no universal linear order (e.g. in every regular ). In fact, what we show is that if there is a universal linear order at a regular λ and its existence is not a result of a trivial cardinal arithmetical reason, then λ “resembles” ℵ1—a cardinal for which the consistency of having a universal order is known. As for singular cardinals, we show that for many singular cardinals, if they are not strong limits then they have no universal linear order. As a result of the nonexistence of a universal linear order, we show the nonexistence of universal models for all theories possessing the strict order property (for example, ordered fields and groups, Boolean algebras, p-adic rings and fields, partial orders, models of PA and so on).



Hide All
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.
[GrSh 174]Grossberg, R. and Shelah, S., On universal locally finite groups, Israel Journal of Mathematics, vol. 44 (1983), pp. 289302.
[KjSh 447]Kojman, M. and Shelah, S., The universality spectrum of stable unsuperstable theories, Annals of Pure and Applied Logic (to appear).
[Le]Levy, Azriel, Basic set theory, Springer Verlag, Berlin, 1979.
[M]Mekler, Alan H., Universal structures in power ℵ1, this Journal, vol. 55 (1990), pp. 466477.
[Sh-a]Shelah, Saharon, Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.
[Sh-c]Shelah, Saharon, Classification theory and the number of non-isomorphic models, rev. ed., North-Holland, Amsterdam, 1990.
[Sh-e]Shelah, Saharon, Universal classes, in preparation.
[Sh-g]Shelah, Saharon, Cardinal arithmetic, Oxford University Press, Oxford (to appear).
[Sh 93]Shelah, Saharon, Simple unstable theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177204.
[Sh 100]Shelah, Saharon, Independence results, this Journal, vol. 45 (1980), pp. 563573.
[Sh 175]Shelah, Saharon, On universal araphs without instances of CH, Annals of Pure and Applied Logic, vol. 26(1984), pp. 7587.
[Sh 175a]Shelah, Saharon, Universal graphs without instances of CH, revised, Israel Journal of Mathematics, vol. 70 (1990), pp. 6981.
[Sh 400]Shelah, Saharon, Cardinal arithmetic, Chapter 9 [tentatively] in [Sh-g].
[Sh 420]Shelah, Saharon, Advances in cardinal arithmetic, Proceedings of the NATO advanced study institute on finite and infinite combinatorics in sets and logic (Banff, 1991 ) (to appear).
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed