activity
19972008
most citedPreserving Preservation

15 citations · 77 across the 87 of their papers we have counts for

collaborators
Showing 2006Show all

7 papers · 1 filter

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

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

math.LO2006

Can groupwise density be much bigger than the non-dominating number?

Saharon Shelah

We prove that g (the groupwise density number) is smaller or equal to b^+ (the successor of the minimal cardinality of a non-dominated subset of omega^omega).