BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Saharon Shelah

Saharon Shelah contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.COmath.GNmath.ACmath.CTmath.GRmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
41works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

41 published item(s)

preprint2026arXiv

Consistency of square bracket partition relation

Characteristic earlier results were of the form CON$(2^{\aleph_0} \to [λ]^2_{n, 2})$, with $2^{\aleph_0} $ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{\aleph_0} = \aleph_m) + \aleph_l \to [\aleph_k]^2_{n, 2})$, for suitable $k < l < m$. So we improve in three respects: the continuum may be small (e.g. not a weakly Mahlo), we use no large cardinal, and the cardinals $λ$ involved are $ < 2^{\aleph_0}$ after the forcing.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Partition theorems for expanded trees

We look for partition theorems for large subtrees for suitable uncountable trees and colourings. We concentrate on sub-trees of $^{κ\ge} 2$ expanded by a well ordering of each level. Unlike earlier works, we do not ask the embedding to preserve the height of the tree but the equality of levels is preserved. We get consistency results without large cardinals. The intention is to apply it to model theoretic problems.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

The Halpern--Läuchli Theorem at singular cardinals and failures of weak versions

This paper continues a line of investigation of the Halpern--Läuchli Theorem at uncountable cardinals. We prove in ZFC that the Halpern--Läuchli Theorem for one tree of height $κ$ holds whenever $κ$ is strongly inaccessible and the coloring takes less than $κ$ colors. We prove consistency of the Halpern--Läuchli Theorem for finitely many trees of height $κ$, where $κ$ is a strong limit cardinal of countable cofinality. On the other hand, we prove failure of weak forms of Halpern--\Lauchli\ for trees of height $κ$, whenever $κ$ is a strongly inaccessible, non-Mahlo cardinal or a singular strong limit cardinal with cofinality the successor of a regular cardinal. We also prove failure in $L$ of a weak version for all strongly inaccessible, non-weakly compact cardinals.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Boolean Types in Dependent Theories

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author&#39;s result about counting types, as well as the notion of a smooth type and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures - in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Borel sets without perfectly many overlapping translations, II

For a countable ordinal epsilon we construct a Sigma^0_2 subset of the Cantor space for which one may force aleph_epsilon translations with intersections of size 2i, but such that it has no perfect set of such translations in any ccc extension. These sets have uncountably many translations with intersections of size 2i in ZFC, so this answers Problem 3.4 of arxiv:1711.04058 .

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Exact saturation in pseudo-elementary classes for simple and stable theories

We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals, satisfying mild set-theoretic hypotheses, which had previously been open even for the random graph. We characterize supersimplicity of countable theories in terms of having PC-exact saturation at singular cardinals of countable cofinality. We also consider the local analogue of PC-exact saturation, showing that local PC-exact saturation for singular cardinals of countable cofinality characterizes supershort theories.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

First-Order Aspects of Coxeter Groups

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show to be essentially the Coxeter groups of affine type. Secondly, we characterize the Coxeter groups of finite rank which are domains, a central assumption in the theory of algebraic geometry over groups, which in many respects (e.g. $λ$-stability) reduces the model theory of a given Coxeter system to the model theory of its associated irreducible components. In the second part of the paper we move to specific definability questions in right-angled Coxeter groups (RACGs) and $2$-spherical Coxeter groups. In this respect, firstly, we prove that RACGs of finite rank do not have proper elementary subgroups which are Coxeter groups, and prove further that reflection independent ones do not have proper elementary subgroups at all. Secondly, we prove that if the monoid $Sim(W, S)$ of $S$-self-similarities of $W$ is finitely generated, then $W$ is a prime model of its theory. Thirdly, we prove that in reflection independent RACGs of finite rank the Coxeter elements are type-determined. We then move to $2$-spherical Coxeter groups, proving that if $(W, S)$ is irreducible, $2$-spherical even and not affine, then $W$ is a prime model of its theory, and that if $W_Γ$ and $W_Θ$ are as in the previous sentence, then $W_Γ$ is elementary equivalent to $W_Θ$ if and only if $Γ\cong Θ$, thus solving the elementary equivalence problem for most of the $2$-spherical Coxeter groups. In the last part of the paper we focus on model theoretic applications of the notion of reflection length from Coxeter group theory, proving in particular that affine Coxeter groups are not connected.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Graphs represented by Ext

This paper opens and discusses the question originally due to Daniel Herden, who asked for which graph $(μ,R)$ we can find a family $\{\mathbb G_α: α< μ\}$ of abelian groups such that for each $α,β\inμ$: $$Ext(\mathbb G_α, \mathbb G_β) = 0 \Longleftrightarrow(α,β) \in R.$$ In this regard, we present four results. First, we give a connection to Quillen&#39;s small object argument which helps $Ext$ vanishes and uses to present useful criteria to the question. Suppose $λ= λ^{\aleph_0}$ and $μ= 2^λ$. We apply Jensen&#39;s diamond principle along with the criteria to present $λ$-free abelian groups representing bipartite graphs. Third, we use a version of the black box to construct in ZFC, a family of $\aleph_1$-free abelian groups representing bipartite graphs. Finally, applying forcing techniques, we present a consistent positive answer for general graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Iterated Ramsey bounds for the Hales-Jewett numbers

Consider the Hales-Jewett theorem. The $k$-dimensional version of it tells us that the combinatorial space $\mathcal{U}_{M, Λ} = \{ η\mid η: M \to Λ\}$ has, under suitable assumptions, monochromatic $k$-dimensional subspaces, where by a $k$-dimensional subspace we mean there exist a partition $\langle N_0, N_1, \cdots, N_k \rangle$ of $M$ such that $N_1, \cdots, N_k \neq \emptyset$ (but we allow $N_0$ to be empty) and some $ρ_0: N_0 \to Λ$, such that the subspace consists of those $ρ\in \mathcal{U}_{M, Λ}$ such that for $0<l<k+1, ρ\restriction N_l$ is constant and $ρ\restriction N_0= ρ_0.$ It seems natural to think it is better to have each $N_{l}, 0<l<k+1$ a singleton. However it is then impossible to always find monochromatic $k$-dimensional subspaces (for example color $η$ by $0$ if $|η^{-1}\{α\}|$ is an even number and by $1$ otherwise). But modulo restricting the sign of each $|η^{-1}\{α\}|$, we prove the parallel theorem -- whose proof is not related to the Hales-Jewett theorem. We then connect the two numbers by showing that the Hales-Jewett numbers are not too much above the present ones. This gives an alternative proof of the Hales-Jewett theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Lower bounds on coloring numbers from hardness hypotheses in PCF theory

We prove that the statement &#34;for every infinite cardinal nu, every graph with list chromatic nu has coloring number at most beth_omega (nu)&#34; proved by Kojman [6] using the RGCH theorem [11] implies the RGCG theorem via a short forcing argument. Similarly, a better upper bound than beth_omega (nu) in this statement implies stronger forms of the RGCH theorem hold, whose consistency and the consistency of their negations are wide open. Thus, the optimality of Kojman&#39;s upper bound is a purely cardinal arithmetic problem, and, as discussed below, is hard to decide.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Many forcing axioms for all regular uncountable cardinals

A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of &#34;for every suitable forcing notion for~$λ$&#34; we shall say &#34;for every such family of forcing notions, depending on stationary $S\subseteq λ$, for some such stationary set we have\dots&#34;. Such notions of forcing are important for Abelian group theory, but this application is delayed for a sequel.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

NNR Revisited

We show if we use countable support iteration of forcing notions not adding reals that satisfy additional conditions, then the limit forcing does not add reals. As a result we prove that we can amalgamate two earlier methods and prove the consistency with ZFC + GCH of two statements gotten separately earlier: Souslin hypothesis and non-club guessing. We also answer a question of Justin Moore by proving the consistency of one further case of &#34;strong failure of club guessing&#34; with GCH.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the bounding, splitting, and distributivity numbers

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (ω)$ are known to satisfy that $ω_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also introduce a new upper bound for $\mathfrak h$ and show that it can be less than $\mathfrak s$. The key method is to utilize finite support matrix iterations of ccc posets following \cite{BlassShelah}.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Universal graphs between a strong limit singular and its power

The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $κ$ is supercompact and the cardinals $θ< κ$, $λ> κ$ are regular, as an application of a more general method we obtain a forcing extension in which $\textrm{cf}(κ) = θ$, the Singular Cardinal Hypothesis fails at $κ$ and there exists a universal graph in cardinality $λ\in (κ,2^κ)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Universality: new criterion for non-existence

We find new &#34;reasons&#34; for a class of models for not having a universal model in a cardinal $λ$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which is a simply defined class of models, of combinatorial character - models of $T_{\rm ceq}$ (essentially another representation of $T_{\rm feq}$ which was already considered but the proof with $T_{\rm ceq}$ is more transparent). Models of $T_{\rm ceq}$ consist essentially of an equivalence relation on one set and a family of choice functions for it. This class is not simple (in the model theoretic sense) but seems to be very low among the non-simple (first order complete countable) ones. We give sufficient conditions for the non-existence of a universal model for it in $λ$. This work is continued in [Sh:F2071].

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The Hart-Shelah example, in stronger logics

We generalize the Hart-Shelah example \cite{HaSh:323} to higher infinitary logics. We build, for each natural number $k\geq 2$ and for each infinite cardinal $λ$, a sentence $ψ_k^λ$ of the logic $L_{(2^λ)^+,ω}$ that (modulo mild set theoretical hypotheses around $λ$ and assuming $2^λ< λ^{+m}$) is categorical in $λ^+,\dots,λ^{+k-1}$ but not in $\beth_{k+1}(λ)^+$ (or beyond); we study the dimensional encoding of combinatorics involved in the construction of this sentence and study various model-theoretic properties of the resulting abstract elementary class ${\mathcal K}^*(λ,k)=(Mod(ψ_k^λ),\prec_{(2^λ)^+,ω})$ in the finite interval of cardinals $λ,λ^+,\dots,λ^{+k}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Cichoń&#39;s maximum without large cardinals

Cichoń&#39;s diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $σ$-compact subsets of the irrationals. It is consistent that all entries of Cichoń&#39;s diagram are pairwise different (apart from $\textrm{add}(\mathcal{M})$ and $\textrm{cof}(\mathcal{M})$, which are provably equal to other entries). However, the consistency proofs so far required large cardinal assumptions. In this work, we show the consistency without such assumptions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Controlling classical cardinal characteristics while collapsing cardinals

Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $λ>κ$ to $κ$) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$, $\mathfrak p$ and $\mathfrak h$ and also keeping all the values in Cichoń&#39;s diagram distint, using the Boolean Ultrapower method of arXiv:1708.03691 . (In arXiv:2006.09826 , the same was done for the newer Cichoń&#39;s Maximum construction, which avoids large cardinals.)

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Countably compact groups without non-trivial convergent sequences

We construct, in $\mathsf{ZFC}$, a countably compact subgroup of $2^{\mathfrak{c}}$ without non-trivial convergent sequences, answering an old problem of van Douwen. As a consequence we also prove the existence of two countably compact groups $\mathbb{G}_{0}$ and $\mathbb{G}_{1}$ such that the product $\mathbb{G}_{0} \times \mathbb{G}_{1}$ is not countably compact, thus answering a classical problem of Comfort.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Inverse limits of left adjoint functors on pointed sets

This paper is a continuation of [BaSh], where we studied the behaviour of the abelianization functor under inverse limits. Our main result in [BaSh] was that if $\mathcal{T}$ is a countable directed poset and $G:\mathcal{T}\to\mathcal{G} rp$ is a diagram of groups that satisfies the Mittag-Leffler condition, then the natural map $$\mathrm{Ab}({\lim}_{t\in\mathcal{T}}G_t)\to {\lim}_{t\in\mathcal{T}}\mathrm{Ab}(G_t)$$ is surjective, and its kernel is a cotorsion group. The abelianization is an example of a left adjoint functor from groups to abelian groups. In this paper we study the behaviour under inverse limits of left adjoint functors from pointed sets to abelian groups. Such functors are classified by abelian groups, where to the abelian group $A$ corresponds the left adjoint functor $L_A:\mathcal{S} \text{et}_*\to\mathcal{A} \text{b}$ given by $L_A(Y)=\bigoplus_{Y\setminus\{*\}}A.$ If $\mathcal{T}$ is a directed poset and $X:\mathcal{T}\to\mathcal{S} \text{et}_*$ is a is diagram of pointed sets, we show that the natural map $$ρ:L_A({\lim}_{t\in\mathcal{T}}X_t) \to{\lim}_{t\in\mathcal{T}}L_A(X_t)$$ is injective. If, in addition, $\mathcal{T}$ is countable and $X$ satisfies the Mittag-Leffler condition, we show that the cokernel of $ρ$ is an algebraically compact group. Compared with the main result in [BaSh], algebraically compact is much stronger then cotorsion as it also requires the Ulm length to be $\leq 1$. We also show that this result, even in its weak form of cotorsion, does not extend to uncountable diagrams. Namely, if $A$ is not the product of a divisible group and a bounded group, we construct a directed poset $\mathcal{T}$ with $|\mathcal{T}|=2^{\aleph_0}$ and a diagram $X:\mathcal{T}\to\mathcal{S} \text{et}_*$, that satisfies the Mittag-Leffler condition, such that the cokernel of $ρ$ is not cotorsion.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On $κ$-homogeneous, but not $κ$-transitive permutation groups

A permutation group $G$ on a set $A$ is $κ$-homogeneous iff for all $X,Y\in [A]^κ$ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$. $G$ is $κ$-transitive iff for any injective function $f$ with $dom(f)\cup ran(f)\in [A]^{\le κ}$ and $|A\setminus dom(f)|=|A\setminus ran(f)|=|A|$ there is a $g\in G$ with $f\subset g$. Giving a partial answer to a question of P. M. Neumann we show that there is an $ω$-homogeneous but not $ω$-transitive permutation group on a cardinal $λ$ provided (i) $λ<ω_ω$, or (ii) $2^ω<λ$, and $μ^ω=μ^+$ and $\Box_μ$ hold for each $μ\leλ$ with $ω=cf(μ)<{μ}$, or (iii) our model was obtained by adding $ω_1$ many Cohen generic reals to some ground model. For $κ>ω$ we give a method to construct large $κ$-homogeneous, but not $κ$-transitive permutation groups. Using this method we show that there exists $κ^+$-homogeneous, but not $κ^+$-transitive permutation groups on $κ^{+n}$ for each infinite cardinal $κ$ and natural number $n\ge 1$ provided $V=L$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Specializing trees and answer to a question of Williams

We show that if $cf(2^{\aleph_0})=\aleph_1,$ then any non-trivial $\aleph_1$-closed forcing notion of size $\leq 2^{\aleph_0}$ is forcing equivalent to $Add(\aleph_1, 1),$ the Cohen forcing for adding a new Cohen subset of $ω_1.$ We also produce, relative to the existence of suitable large cardinals, a model of $ZFC$ in which $2^{\aleph_0}=\aleph_2$ and all $\aleph_1$-closed forcing notion of size $\leq 2^{\aleph_0}$ collapse $\aleph_2,$ and hence are forcing equivalent to $Add(\aleph_1, 1).$ These results answer a question of Scott Williams from 1978. We also extend a result of Todorcevic and Foreman-Magidor-Shelah by showing that it is consistent that every partial order which adds a new subset of $\aleph_2,$ collapses $\aleph_2$ or $\aleph_3.$

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Another ordering of the ten cardinal characteristics in Cichoń&#39;s diagram

It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four strongly compact cardinals, it is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) <\mathrm{add}(\mathrm{Meager})=\mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) < \mathrm{non}(\mathrm{Null}) < \mathrm{cof}(\mathrm{Meager})= \mathfrak{d} < \mathrm{cof}(\mathrm{Null}) < 2^{\aleph_0}. \]

0 citations0 reviewsNo code linkedOpen access