S. Shelah

activity

19922026

most citedThe monadic theory of order

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

collaborators

Showing 2021 · math.LOShow all

16 papers · 2 filters

math.LO2021

The Keisler-Shelah isomorphism theorem and the continuum hypothesis II

Mohammad Golshani, Saharon Shelah

We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is cons…

math.LO2021

Maximal models up to the first measurable in ZFC

John T. Baldwin, Saharon Shelah

Theorem: There is a {\em complete sentence} $ϕ$ of $L_{ω_{1}, ω}$ such that $ϕ$ has maximal models in a set of cardinals $λ$ that is cofinal in the first measurable $μ$ while $ϕ$ has…

math.LO2021

Hanf numbers for Extendibility and related phenomena

John T. Baldwin, Saharon Shelah

This paper contains portions of Baldwin's talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed p…

math.LO2021

Four Cardinals and Their Relations in ZF

Lorenz Halbeisen, Riccardo Plati, Salome Schumacher +1

For a set $M$ , $fin (M)$ denotes the set of all finite subsets of $M$ , $M^{2}$ denotes the Cartesian product $M \times M$ , $[M]^{2}$ denotes the set of all $2$ -element sub…

math.LO2021

Aristotelian poetry

Shimon Garti, Saharon Shelah

Jing Zhang proved the consistency of $(ω _{1} ω _{2}) \to (ω _{1} n)_{ω}$ for every $n \in ω$ with the negative relation $(ω _{1} ω _{2}) ↛ (ω _{1} ω)_{ω}$ . We red…

math.LO2021

On failure of 0-1 laws

Saharon Shelah

Let $α \in (0, 1)_{R}$ be irrational and $G_{n} = G_{n, 1/ n^{α}}$ be the random graph with edge probability $1/ n^{α}$ ; we know that it satisfies the 0-1 law for first order logic.…