A new Löwenheim-Skolem theorem

DOI10.1090/S0002-9947-04-03445-2zbMath1082.03034OpenAlexW1561897446MaRDI QIDQ4654078

Matthew Foreman, Stevo Todorčević

Publication date: 1 March 2005

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-04-03445-2

Mathematics Subject Classification ID

Set-theoretic model theory (03C55)

Related Items

Internally club and approachable ⋮ Canonical structure in the universe of set theory. I ⋮ Weak Compactness and No Partial Squares ⋮ Martin's maximum and tower forcing ⋮ Club stationary reflection and the special Aronszajn tree property ⋮ What makes the continuum ℵ₂ ⋮ STATIONARY REFLECTION AND THE FAILURE OF THE SCH ⋮ Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\) ⋮ Baire reflection ⋮ Rado's Conjecture and Ascent Paths of Square Sequences ⋮ The Magidor function and diamond ⋮ FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION ⋮ Collapsing \(\omega _2\) with semi-proper forcing ⋮ Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ Winning strategies in club games and their applications ⋮ Some applications of mixed support iterations ⋮ WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω₁ AND DIAMONDS ⋮ INTERNAL APPROACHABILITY AND REFLECTION ⋮ Approachability at the second successor of a singular cardinal ⋮ Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Shelah's pcf theory and its applications
• Minimal collapsing extensions of models of ZFC
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Combinatorial problems on trees: partitions, \(\Delta\)-systems and large free subtrees
• Proper forcing
• Forcing axioms and stationary sets
• Inequalities for cardinal powers
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Large cardinals and definable counterexamples to the continuum hypothesis
• Canonical structure in the universe of set theory. II.
• SQUARES, SCALES AND STATIONARY REFLECTION
• Singular Cardinal Problem: Shelah's Theorem on 2ℵω
• A very weak square principle
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)