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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesThomas Jech & Jiří Witzany (1994). Full Reflection at a Measurable Cardinal. Journal of Symbolic Logic 59 (2):615-630.
U. Felgner & J. K. Truss (1999). The Independence of the Prime Ideal Theorem From the Order-Extension Principle. Journal of Symbolic Logic 64 (1):199-215.
Juliette Kennedy & Saharon Shelah (2002). On Regular Reduced Products. Journal of Symbolic Logic 67 (3):1169-1177.
Terrence Millar (1995). Model Completions and Omitting Types. Journal of Symbolic Logic 60 (2):654-672.
Oliver Deiser & Dieter Donder (2003). Canonical Functions, Non-Regular Ultrafilters and Ulam's Problem on Ω. Journal of Symbolic Logic 68 (3): 713- 739.
O. Finkel & J. P. Ressayre (1996). Stretchings. Journal of Symbolic Logic 61 (2):563-585.
Arthur W. Apter (1999). On Measurable Limits of Compact Cardinals. Journal of Symbolic Logic 64 (4):1675-1688.
Saharon Shelah & Simon Thomas (1997). The Cofinality Spectrum of the Infinite Symmetric Group. Journal of Symbolic Logic 62 (3):902-916.
Mirna Džamonja & Saharon Shelah (2003). Universal Graphs at the Successor of a Singular Cardinal. Journal of Symbolic Logic 68 (2):366-388.
William Mitchell & Ralf Schindler (2004). A Universal Extender Model Without Large Cardinals in V. Journal of Symbolic Logic 69 (2):371 - 386.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
