Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/hanf-numbers-for-extendibility-and-related-phenomena-xA9JaleluW
References (55)
-
M. Laskowski, S. Shelah (1993)
On the existence of atomic modelsJournal of Symbolic Logic, 58
-
J. Barwise (1968)
The Syntax and Semantics of Infinitary Languages -
(2017)
Souldatos -
W Hodges (1993)
10.1017/CBO9780511551574Model Theory
-
(1987)
Archive for mathematical logicArchiv für mathematische Logik und Grundlagenforschung, 26
-
≤) has (λ, 0)-disjoint amalgamation if there is N ∈ K of power λ -
R. Göbel, S. Shelah (2005)
How rigid are reduced productsJournal of Pure and Applied Algebra, 202
-
R. Grossberg (2002)
Classification theory for abstract elementary classes -
J. Knight (1977)
A complete Lω1ω-sentence characterizing ℵ1Journal of Symbolic Logic, 42
-
J. Baldwin, Will Boney (2015)
Hanf Numbers and Presentation Theorems in AEC -
(2016)
characterizing cardinals -
≤) has (≤ λ, k)-disjoint amalgamation if it has (λ, 0)-disjoint amalgamation and every k-configuration M of cardinality ≤ λ has an extension N ∈ K such that every M i is a proper substructure of N -
we say that K has frugal (≤ λ, k)-disjoint amalgamation if it has (≤ λ, k)-disjoint amalgamation and, when k ≥ 2, every k-configuration M i : i < k of cardinality -
E. Fried, G. Grätzer (1990)
Strong amalgamation of distributive latticesJournal of Algebra, 128
-
Will Boney, J. Baldwin (2015)
Hanf Numbers and Presentation Theorems in AECsarXiv: Logic
-
(2016)
Amalgamation, characterizing cardinals, and locally finite AEC -
Fix a locally finite (K, ≤) with JEP. For all cardinals λ ≥ ℵ 0 and for all k ∈ ω, if K has (< λ, k + 1)-disjoint amalgamation -
(2016)
Large cardinals and strong logics -
M. Morley (2014)
OMITTING CLASSES OF ELEMENTS -
J. Baumgartner (1974)
The Hanf number for complete Lω1,ω-sentences (without GCH)Journal of Symbolic Logic, 39
-
(1960)
Models of languages with infinitely long expressions -
(2009)
Number 51 in University Lecture Notes -
R Fraïssé (1954)
Sur quelques classifications des systèmes de relationsPubl. Sci. Univ. Algeria Sèr. A, 1
-
A field guide to Hrushovski constructions -
J. Baldwin, I. Souldatos (2019)
Complete Lω1,ω ‐sentences with maximal models in multiple cardinalitiesMathematical Logic Quarterly, 65
-
J. Baldwin, M. Laskowski, S. Shelah (2016)
CONSTRUCTING MANY ATOMIC MODELS IN ℵ1The Journal of Symbolic Logic, 81
-
(2017)
editor -
J. Cummings (2010)
Iterated Forcing and Elementary Embeddings -
(2009)
Categoricity -
G. Hjorth (2007)
A Note on Counterexamples to the Vaught ConjectureNotre Dame J. Formal Log., 48
-
(1978)
JSL volume 4 issue 3 Cover and Back matterJournal of Symbolic Logic, 43
-
Alexei Kolesnikov, C. Lambie-Hanson (2014)
THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSESThe Journal of Symbolic Logic, 81
-
(1969)
Duke Math -
A. Avil'es, C. Brech (2010)
A Boolean algebra and a Banach space obtained by push-out iterationarXiv: Logic
-
J. Baldwin, Alexei Kolesnikov, S. Shelah (2009)
The amalgamation spectrumThe Journal of Symbolic Logic, 74
-
G. Hjorth (2002)
Knight's Model, its automorphism Group, and Characterizing the uncountable CardinalsJ. Math. Log., 2
-
We say amalgamation holds in κ in the trivial special case when all models in κ are maximal. We say amalgamation fails in κ if there are no models to amalgamate -
I. Souldatos (2012)
Characterizing the powerset by a complete (Scott) sentenceFundamenta Mathematicae, 222
-
W. Hodges (1980)
CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS -
-cube, we consider actual containment for k-models and do not worry about their intersections -
Chen Chang, H. Keisler (1966)
Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics -
J. Malitz (1969)
Universal classes in infinitary languagesDuke Mathematical Journal, 36
-
(1960)
Methodology and Philosopy of Science Congress -
P. Dedecker (1957)
Review: Roland Fraisse, Sur Quelques Classifications des Systemes de Relations -
David Marker, Alessandro Berarducci, Emmanuel Breuillard, Dugald Macpherson, Silvio Levy (2018)
Model TheoryThe Incompleteness Phenomenon
-
Jin-Yi Cai, Ch.Prabhakara Rao
Lecture 8: Universal Algebra -
3) of the next result -
Kueker, as reported in [Mal68], gave the first example of a complete sentence failing amalgamation in ℵ 0 -
J. Baldwin, S. Friedman, Martin Koerwien, M. Laskowski (2015)
Three red herrings around Vaught’s conjectureTransactions of the American Mathematical Society, 368
-
JF Knight (1977)
A complete Lω1,ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}_{\omega _1,\omega }$$\end{document}-sentence characterizing ℵ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _1$$\end{document}J. Symb. Logic, 42
-
J. Baldwin, Martin Koerwien, I. Souldatos (2015)
The joint embedding property and maximal modelsArchive for Mathematical Logic, 55
-
J. Baldwin, S. Shelah (2021)
Maximal models up to the first measurable in ZFCJournal of Mathematical Logic
-
S. Shelah (2008)
Black Boxes -
every model of size ℵ r is maximal, and so 2-amalgamation is trivially true in ℵ r -
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations
- Publisher
- Springer Journals
- Copyright
- Copyright © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2021
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/s00153-021-00796-1
- Publisher site
- See Article on Publisher Site
Abstract
This paper contains portions of Baldwin’s talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed proof that in a suitable extension of ZFC, there is a complete sentence of Lω1,ω\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$L_{\omega _1,\omega }$$\end{document} that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again.
Journal
Archive for Mathematical Logic – Springer Journals
Published: May 1, 2022
Keywords: Hanf numbers; Maximal models; Lω1