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

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 \.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-020-00729-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,731
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Categoricity.John T. Baldwin - 2009 - American Mathematical Society.
Trees and Π 1 1 -Subsets of Ω1 Ω 1.Alan Mekler & Jouko Vaananen - 1993 - Journal of Symbolic Logic 58 (3):1052 - 1070.
Trees and -Subsets of Ω1ω1.Alan Mekler & Jouko Väänänen - 1993 - Journal of Symbolic Logic 58 (3):1052-1070.

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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 index
2020-03-29

Total views
3 ( #1,335,659 of 2,462,780 )

Recent downloads (6 months)
1 ( #449,387 of 2,462,780 )

How can I increase my downloads?

Downloads

My notes