1.7k citations
- Rutgers, The State University of New JerseyUS20 papers
- Centre National de la Recherche ScientifiqueFR16 papers
- Tel Aviv UniversityIL16 papers
- California Institute of TechnologyUS15 papers
- Weizmann Institute of ScienceIL15 papers
- Bar-Ilan UniversityIL14 papers
- University of WashingtonUS14 papers
- University of ChicagoUS13 papers
- Technion – Israel Institute of TechnologyIL12 papers
- University of ArizonaUS11 papers
- Physico-Technical InstituteRU10 papers
- University of California, Santa CruzUS10 papers
9 papers · 2 filters
Model theoretic stability and categoricity for complete metric spaces
Saharon Shelah, Alex Usvyatsov
We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from t…
Existence of EF-equivalent Non Isomorphic Models
Chanoch Havlin, Saharon Shelah
We prove the existence of pairs of models of the same cardinality lambda which are very equivalent according to EF games, but not isomorphic. We continue the paper math.LO/0404222,…
On Weak and Strong Interpolation in Algebraic Logics
Gabor Sagi, Saharon Shelah
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds, but a strong…
Power set modulo small, the singular of uncountable cofinality
Saharon Shelah
Let mu be singular of uncountable cofinality. If mu>2^{cf(mu)}, we prove that in P=([mu]^mu,supseteq) as a forcing notion we have a natural complete embedding of Levy(aleph_0, mu^+…
Winning the pressing down game but not Banach Mazur
Jakob Kellner, Matti Pauna, Saharon Shelah
Let be the set of those that have cofinality . It is consistent relative to a measurable that the nonempty player wins the pressing down game of length , bu…
Ind- and Pro- definable sets
Moshe Kamensky
We describe the ind- and pro- categories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.