activity
19922026
most citedThe monadic theory of order

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

collaborators
Showing 2018 · math.LOShow all

23 papers · 2 filters

math.LO2018

Ramsey theory for highly connected monochromatic subgraphs

Jeffrey Bergfalk, Michael Hrušák, Saharon Shelah

An infinite graph is highly connected if the complement of any subgraph of smaller size is connected. We consider weaker versions of Ramsey's Theorem asserting that in any coloring…

math.LO2018★ 7 cited

Cardinal characteristics at aleph omega

Shimon Garti, Moti Gitik, Saharon Shelah

We prove the consistency of the statement . We show that the consistency strength of this statement is exactly a measurable cardinal so th…

math.LO2018

On the definability of mad families of vector spaces

Haim Horowitz, Saharon Shelah

We consider the definability of mad families in vector spaces of the form where is a field of cardinality . We show that there is n…

math.LO2018

Some Results on Polish Groups

Gianluca Paolini, Saharon Shelah

We prove that no quantifier-free formula in the language of group theory can define the -half graph in a Polish group, thus generalising some results from [6]. We then po…

math.LO2018

Isomorphic limit ultrapowers for infinitary logic

Saharon Shelah

The logic L^1_θintroduced in [Sh:797]; it is the maximal logic below L_theta theta in which a well ordering is not definable. We investigate it for theta a compact cardinal. We pro…

math.LO2018

On a Cardinal Invariant Related to the Haar Measure Problem

Gianluca Paolini, Saharon Shelah

In [6], given a metrizable profinite group , a cardinal invariant of the continuum was introduced, and a positive solution to the Haar Measure Problem for …