Nonexistence of universal orders in many cardinals

Journal of Symbolic Logic 57 (3):875-891 (1992)
Abstract
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 $\aleph_1 < \lambda < 2^{\aleph_0}$). 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)
Keywords Universal Model   linear order   covering numbers   club guessing   strict order property
Categories (categorize this paper)
DOI 10.2307/2275437
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,224
Through your library
References found in this work BETA
Simple Unstable Theories.Saharon Shelah - 1980 - Annals of Mathematical Logic 19 (3):177-203.
On Universal Graphs Without Instances of CH.Saharon Shelah - 1984 - Annals of Pure and Applied Logic 26 (1):75-87.

Add more references

Citations of this work BETA
Toward Classifying Unstable Theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
On ◁∗-Maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
Fallen Cardinals.Menachem Kojman & Saharon Shelah - 2001 - Annals of Pure and Applied Logic 109 (1-2):117-129.
The Saturation of Club Guessing Ideals.Tetsuya Ishiu - 2006 - Annals of Pure and Applied Logic 142 (1):398-424.

View all 6 citations / Add more citations

Similar books and articles
Full Reflection at a Measurable Cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
On Regular Reduced Products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.
Model Completions and Omitting Types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
On Measurable Limits of Compact Cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Added to PP index
2009-01-28

Total downloads
183 ( #25,397 of 2,191,972 )

Recent downloads (6 months)
2 ( #144,930 of 2,191,972 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature