Kurepa trees and spectra of $${mathcal {L}}{omega 1,omega }$$ L ω 1, ω -sentences

Archive for Mathematical Logic 59 (7-8):939-956 (2020)
  Copy   BIBTEX

Abstract

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a single \-sentence \ that codes Kurepa trees to prove the following statements: The spectrum of \ is consistently equal to \ and also consistently equal to \\), where \ is weakly inaccessible.The amalgamation spectrum of \ is consistently equal to \ and \\), where again \ is weakly inaccessible. This is the first example of an \-sentence whose spectrum and amalgamation spectrum are consistently both right-open and right-closed. It also provides a positive answer to a question in Souldatos :533–551, 2014).Consistently, \ has maximal models in finite, countable, and uncountable many cardinalities. This complements the examples given in Baldwin et al. :545–565, 2016) and Baldwin and Souldatos :444–452, 2019) of sentences with maximal models in countably many cardinalities.Consistently, \ and there exists an \-sentence with models in \, but no models in \. This relates to a conjecture by Shelah that if \, then any \-sentence with a model of size \ also has a model of size \. Our result proves that \ can not be replaced by \, even if \.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The amalgamation spectrum.John T. Baldwin, Alexei Kolesnikov & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (3):914-928.
The differences between Kurepa trees and Jech-Kunen trees.Renling Jin - 1993 - Archive for Mathematical Logic 32 (5):369-379.
Aronszajn and Kurepa trees.James Cummings - 2018 - Archive for Mathematical Logic 57 (1-2):83-90.
Some remarks on category of the real line.Kyriakos Keremedis - 1999 - Archive for Mathematical Logic 38 (3):153-162.
Can a small forcing create Kurepa trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Borel's conjecture in topological groups.Fred Galvin & Marion Scheepers - 2013 - Journal of Symbolic Logic 78 (1):168-184.
Vaught’s Conjecture Without Equality.Nathanael Leedom Ackerman - 2015 - Notre Dame Journal of Formal Logic 56 (4):573-582.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.

Analytics

Added to PP
2020-03-29

Downloads
8 (#1,342,689)

6 months
2 (#1,258,417)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Categoricity.John T. Baldwin - 2009 - American Mathematical Society.
Trees and -subsets of ω1ω1.Alan Mekler & Jouko Väänänen - 1993 - Journal of Symbolic Logic 58 (3):1052-1070.
Trees and Π 1 1 -Subsets of ω1 ω 1.Alan Mekler & Jouko Vaananen - 1993 - Journal of Symbolic Logic 58 (3):1052 - 1070.

View all 13 references / Add more references