activity
19922026
most citedThe monadic theory of order

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

collaborators
Showing 2001Show all

36 papers · 1 filter

math.LO2001

Potential isomorphism and semi-proper trees

Alex Hellsten, Tapani Hyttinen, Saharon Shelah

We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary se…

math.LO2001

Specializing Aronszajn trees by countable approximations

Heike Mildenberger, Saharon Shelah

We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.

math.LO2001

Forcing axiom failure for any lambda>aleph_1

Saharon Shelah

David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2.…

math.GN2001

Van der Waerden spaces and Hindman spaces are not the same

Menachem Kojman, Saharon Shelah

A Hausdorff topological space X is van der Waerden if for every sequence (x_n)_n in X there is a converging subsequence (x_n)_{n in A} where subset A of omega contains arithmetic p…

math.LO2001

Characterizing automorphism groups of ordered abelian groups

Rüdiger Göbel, Saharon Shelah

We characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument fro…

math.LO2001

Kulikov's problem on universal torsion-free abelian groups

Saharon Shelah, Lutz Strüngmann

Let T be an abelian group and lambda an uncountable regular cardinal. We consider the question of whether there is a lambda-universal group G^* among all torsion-free abelian group…