A new Löwenheim-Skolem theorem
- 16 December 2004
- journal article
- Published by American Mathematical Society (AMS) in Transactions of the American Mathematical Society
- Vol. 357 (5) , 1693-1715
- https://doi.org/10.1090/s0002-9947-04-03445-2
Abstract
This paper establishes a refinement of the classical Löwenheim-Skolem theorem. The main result shows that any first order structure has a countable elementary substructure with strong second order properties. Several consequences for Singular Cardinals Combinatorics are deduced from this.Keywords
This publication has 16 references indexed in Scilit:
- SQUARES, SCALES AND STATIONARY REFLECTIONJournal of Mathematical Logic, 2001
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on Pϰ(λ)Acta Mathematica, 2001
- Large cardinals and definable counterexamples to the continuum hypothesisAnnals of Pure and Applied Logic, 1995
- Forcing axioms and stationary setsAdvances in Mathematics, 1992
- Singular Cardinal Problem: Shelah's Theorem on 2ℵωBulletin of the London Mathematical Society, 1992
- Shelah's pcf theory and its applicationsAnnals of Pure and Applied Logic, 1990
- Minimal collapsing extensions of models of zfcAnnals of Pure and Applied Logic, 1990
- Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part IAnnals of Mathematics, 1988
- Combinatorial problems on trees: Partitions, δ-systems and large free subtreesAnnals of Pure and Applied Logic, 1987
- Inequalities for Cardinal PowersAnnals of Mathematics, 1975