activity
19922026
most citedThe monadic theory of order

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

collaborators
Showing 2005 · math.LOShow all

12 papers · 2 filters

math.LO2005

kappa-bounded Exponential-Logarithmic Power Series Fields

Salma Kuhlmann, Saharon Shelah

In math.AC/9608214 it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bo…

math.LO2005

Universal graphs with a forbidden subtree

Gregory Cherlin, Saharon Shelah

We show that the problem of the existence of universal graphs with specified forbidden subgraphs can be systematically reduced to certain critical cases by a simple pruning techniq…

math.LO2005★ 2 cited

On DEPTH and DEPTH^+ of Boolean Algebras

Shimon Garti, Saharon Shelah

We show that the Depth^+ of an ultraproduct of Boolean Algebras, can not jump over the Depth^+ of every component by more than one cardinality. We can have, consequently, similar r…

math.LO2005★ 2 cited

Saccharinity

Jakob Kellner, Saharon Shelah

We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessi…

math.LO2005★ 11 cited

PCF without choice

Saharon Shelah

We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version…

math.LO2005

Disjoint Non-Free Subgoups of Abelian Groups

Andreas Blass, Saharon Shelah

Let G be an abelian group and let lambda be the smallest rank of any group whose direct sum with a free group is isomorphic to G. If lambda is uncountable, then G has lambda pairwi…