324 citations · 1.7k across the 753 of their papers we have counts for
18 papers · 2 filters
Notes on the stable regularity lemma
M. Malliaris, S. Shelah
This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical…
The independence of GCH and a combinatorial principle related to Banach-Mazur games
Will Brian, Alan Dow, Saharon Shelah
It was proved recently that Telgársky's conjecture, which concerns partial information strategies in the Banach-Mazur game, fails in models of . The proof int…
Between reduced powers and ultrapowers, II
Ilijas Farah, Saharon Shelah
We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separa…
First-Order Aspects of Coxeter Groups
Bernhard Muhlherr, Gianluca Paolini, Saharon Shelah
We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the -spherical non-affine case (which we leave open), we characterize th…
On slow minimal reals I
Mohammad Golshani, Saharon Shelah
Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real , which is eventually different from any ol…
Infinitary Logics and Abstract Elementary Classes
Saharon Shelah, Andrés Villaveces
We prove that every abstract elementary class (a.e.c.) with LST number and vocabulary of cardinality can be axiomatized in the logic ${\mathbb L}_{\beth_2(κ)^{+++}…