activity
19922026
most citedThe monadic theory of order

324 citations · 1.7k across the 753 of their papers we have counts for

collaborators
Showing 2006 · math.LOShow all

24 papers · 2 filters

math.LO2006

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…

math.LO2006

Two cardinal models for singular mu

Shimon Garti, Saharon Shelah

We deal here with colorings of the pair (mu^+, mu), when mu is a strong limit and singular cardinal. We show that there exists a coloring c, with no refinement. It follows, that th…

math.LO2006

The nonstationary ideal on P_κ(lambda) for lambda singular

Pierre Matet, Saharon Shelah

Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and…

math.LO2006

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,…

math.LO2006

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…

math.LO2006

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^+…