Showing 1–50 of 837 results for author: Shelah, S

Diamond on Kurepa trees

Authors: Ziemowit Kostana, Assaf Rinot, Saharon Shelah

Abstract: We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail. We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail. △ Less

Submitted 3 April, 2024; originally announced April 2024.

MSC Class: 03E35

Building complicated index models and Boolean algebras

Authors: Saharon Shelah

Abstract: We build models using an indiscernible model sub-structures of $κ \ge λ$ and related more complicated structures. We use this to build various Boolean algebras. We build models using an indiscernible model sub-structures of $κ \ge λ$ and related more complicated structures. We use this to build various Boolean algebras. △ Less

Submitted 28 January, 2024; originally announced January 2024.

Report number: Sh:511 MSC Class: 03E05; 03C55; 03C45

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order

Authors: Gianluca Paolini, Saharon Shelah

Abstract: In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable torsion-free abelian groups are faithfully Borel complete, in fact, more strongly, we can $\mathfrak{L}_{ω_1, ω}$-interpret countable graphs in them. Secondly, we show… ▽ More In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable torsion-free abelian groups are faithfully Borel complete, in fact, more strongly, we can $\mathfrak{L}_{ω_1, ω}$-interpret countable graphs in them. Secondly, we show that the relation of pure embeddability (equiv., elementary embeddability) among countable models of $\mathrm{Th}(\mathbb{Z}^{(ω)})$ is a complete analytic quasi-order. △ Less

Submitted 7 December, 2023; originally announced December 2023.

MSC Class: 03E15; 20K20

Adding highly undefinable sets over $L$

Authors: Mohammad Golshani, Saharon Shelah

Abstract: We sow that there exists a generic extension of the Gödel's constructible universe in which diamond holds and there exists a subset $Y \subseteq ω_1$ such that for stationary many $δ< ω_1,$ the set $Y \cap δ$ is not definable in the structure $(L_{F(δ)}, \in)$, where $F(δ) > δ$ is the least ordinal such that $L_{F(δ)}\models$``$δ$ is countable''. We sow that there exists a generic extension of the Gödel's constructible universe in which diamond holds and there exists a subset $Y \subseteq ω_1$ such that for stationary many $δ< ω_1,$ the set $Y \cap δ$ is not definable in the structure $(L_{F(δ)}, \in)$, where $F(δ) > δ$ is the least ordinal such that $L_{F(δ)}\models$``$δ$ is countable''. △ Less

Submitted 4 November, 2023; originally announced November 2023.

Comments: This is publication number 1227 in Shelah's list

Expressive Power of Infinitary Logic and Absolute co-Hopfianity

Authors: Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

Abstract: Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We apply the infinitary logic to show a dichotomy behavior of co-Hopfian groups, by showing that the first beautiful cardinal is the turning point for this property. Namely, we prove that there are no abso… ▽ More Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We apply the infinitary logic to show a dichotomy behavior of co-Hopfian groups, by showing that the first beautiful cardinal is the turning point for this property. Namely, we prove that there are no absolute co-Hopfian abelian groups above the first beautiful cardinal. An extension of this result to the category of modules over a commutative ring is given. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Naturality and Definability III

Authors: Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

Abstract: In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality implies definablity. Second, by using the reverse Easton iteration of Cohen forcing notions, we construct a transitive model of ZFC in which every uniformisable cons… ▽ More In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality implies definablity. Second, by using the reverse Easton iteration of Cohen forcing notions, we construct a transitive model of ZFC in which every uniformisable construction is weakly natural. Finally, we show that if F is a natural construction on a class K of structures which is represented by some formula, then it is uniformly definable without any extra parameters. Our results answer some questions by Hodges and Shelah. △ Less

Submitted 5 September, 2023; originally announced September 2023.

When does $\aleph_1$-categoricity imply $ω$-stability?

Authors: John T. Baldwin, M. C. Laskowski, Saharon Shelah

Abstract: For an $\aleph_1$-categorical atomic class, we clarify the space of types over the unique model of size $\aleph_1$. Using these results, we prove that if such a class has a model of size $\beth_1^+$ then it is $ω$-stable. For an $\aleph_1$-categorical atomic class, we clarify the space of types over the unique model of size $\aleph_1$. Using these results, we prove that if such a class has a model of size $\beth_1^+$ then it is $ω$-stable. △ Less

Submitted 26 August, 2023; originally announced August 2023.

Comments: 22 pages

MSC Class: 03C45

Implications of Ramsey Choice Principles in ZF

Authors: Lorenz Halbeisen, Riccardo Plati, Saharon Shelah

Abstract: The Ramsey Choice principle for families of $n$-element sets, denoted $\mathrm{RC}_n$, states that every infinite set $X$ has an infinite subset $Y\subseteq X$ with a choice function on $[Y]^n := \{z\subseteq Y : |z| = n\}$. We investigate for which positive integers $m$ and $n$ the implication $\mathrm{RC}_m \Rightarrow \mathrm{RC}_n$ is provable in ZF. It will turn out that beside the trivial im… ▽ More The Ramsey Choice principle for families of $n$-element sets, denoted $\mathrm{RC}_n$, states that every infinite set $X$ has an infinite subset $Y\subseteq X$ with a choice function on $[Y]^n := \{z\subseteq Y : |z| = n\}$. We investigate for which positive integers $m$ and $n$ the implication $\mathrm{RC}_m \Rightarrow \mathrm{RC}_n$ is provable in ZF. It will turn out that beside the trivial implications $\mathrm{RC}_m \Rightarrow \mathrm{RC}_m$, under the assumption that every odd integer $n>5$ is the sum of three primes (known as ternary Goldbach conjecture), the only non-trivial implication which is provable in ZF is $\mathrm{RC}_2 \Rightarrow \mathrm{RC}_4$. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:2101.07840

MSC Class: 03E35 03E25

Tiltan and superclub

Authors: Shimon Garti, Saharon Shelah

Abstract: We force superclub with an arbitrary large value of cov($\mathscr{M}$). We force tiltan with an arbitrary large value of add($\mathscr{M}$). Finally, we obtain a negative square bracket relation from superclub. We force superclub with an arbitrary large value of cov($\mathscr{M}$). We force tiltan with an arbitrary large value of add($\mathscr{M}$). Finally, we obtain a negative square bracket relation from superclub. △ Less

Submitted 11 June, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: We added several things, following an email from Joerg Brendle, whom we thank

MSC Class: 03E02; 03E17

Journal ref: Comptes Rendus Mathematique, vol. 361 (2023), pp. 853-861

AEC for strictly stable

Authors: Saharon Shelah

Abstract: Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(μ,λ,κ)$-frames as candidates for being (in the context of AECs) the correct parallel to the class of $|T|^+$-saturated models of a strictly stable theory (among elementary classes). One thing we lose compared to the superstable case is that going… ▽ More Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(μ,λ,κ)$-frames as candidates for being (in the context of AECs) the correct parallel to the class of $|T|^+$-saturated models of a strictly stable theory (among elementary classes). One thing we lose compared to the superstable case is that going up by induction on cardinals is problematic (for stages of small cofinality). But this arises only when we try to lift such classes to higher cardinals. Also, we may use, as a replacement, the existence of prime models over unions of increasing chains. For this context we investigate the dimension. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2304.04467

Report number: Sh:1238 MSC Class: Primary 03C48; Secondary 03C45

General non-structure theory and constructing from linear orders

Authors: Saharon Shelah

Abstract: The theme of the first two sections, is to prepare the framework of how from a ``complicated'' family of so called index models $I \in K_1$ we build many and/or complicated structures in a class $K_2$. The index models are characteristically linear orders, trees with $κ+1$ levels (possibly with linear order on the set of successors of a member) and linearly ordered graphs; for this we formulate re… ▽ More The theme of the first two sections, is to prepare the framework of how from a ``complicated'' family of so called index models $I \in K_1$ we build many and/or complicated structures in a class $K_2$. The index models are characteristically linear orders, trees with $κ+1$ levels (possibly with linear order on the set of successors of a member) and linearly ordered graphs; for this we formulate relevant complicatedness properties (called bigness). In the third section we show stronger results concerning linear orders. If for each linear order $I$ of cardinality $λ> \aleph_0$ we can attach a model $M_I \in K_λ$ in which the linear order can be embedded such that for enough cuts of $I$, their being omitted is reflected in $M_I$, then there are $2^λ$ non-isomorphic cases. We also do the work for some applications. △ Less

Submitted 18 May, 2023; v1 submitted 3 May, 2023; originally announced May 2023.

Comments: This was mistakenly submitted as new rather than an update of arXiv:1011.3576

Report number: Sh:E59 MSC Class: Primary 03C55; Secondary 03E05; 03E75; 03G05

AEC: weight and $p$-simplicity

Authors: Saharon Shelah

Abstract: Part I: We would like to generalize imaginary elements, weight of ${\rm ortp}(a,M,N),{\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [Sh:c, Ch.III,V,\S4] to the context of good frames. This requires allowing the vocabulary to have predicates and function symbols of infinite arity, but it seemed that we do not suffer any real loss. Part II: become [1238] Good frames were suggested in [… ▽ More Part I: We would like to generalize imaginary elements, weight of ${\rm ortp}(a,M,N),{\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [Sh:c, Ch.III,V,\S4] to the context of good frames. This requires allowing the vocabulary to have predicates and function symbols of infinite arity, but it seemed that we do not suffer any real loss. Part II: become [1238] Good frames were suggested in [Sh:h] as the (bare bones) right parallel among a.e.c. to superstable (among elementary classes). Here we consider $(μ,λ,κ)$-frames as candidates for being the right parallel to the class of $|T|^+$-saturated models of a stable theory (among elementary classes). A loss as compared to the superstable case is that going up by induction on cardinals is problematic (for cardinals of small cofinality). But this arises only when we try to lift. But this context we investigate the dimension. Part III: become [1239] In the context of Part II, we consider the main gap problem for the parallel of somewhat saturated model; showing we are not worse than in the first order case. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2304.04467

Report number: Sh:839 MSC Class: Primary: 03C45; 03C48

The monadic theory of order

Authors: Saharon Shelah

Abstract: We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of the real order is undecidable. Our methods are model-theoretic, and we do not use automaton theory. This is a slightly corrected version of a very old work. We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of the real order is undecidable. Our methods are model-theoretic, and we do not use automaton theory. This is a slightly corrected version of a very old work. △ Less

Submitted 1 May, 2023; originally announced May 2023.

Report number: 42

Journal ref: Ann. Of Math. (2), 102(3), 379-419, 1975

More Ramsey theory for highly connected monochromatic subgraphs

Authors: Michael Hrušák, Saharon Shelah, **g Zhang

Abstract: An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and… ▽ More An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and Shelah are answered by showing that assuming the consistency of suitable large cardinals the following are relatively consistent with $\mathsf{ZFC}$: $κ\to_{hc} (κ)^2_ω$ for every regular cardinal $κ\geq \aleph_2$ and $\neg\mathsf{CH}+ \aleph_2 \to_{hc} (\aleph_1)^2_ω$. Building on a work of Lambie-Hanson, we also show that $\aleph_2 \to_{hc} [\aleph_2]^2_{ω,2}$ is consistent with $\neg\mathsf{CH}$. To prove these results, we use the existence of ideals with strong combinatorial properties after collapsing suitable large cardinals. △ Less

Submitted 11 November, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: Number 1242 on Shelah's publication list. 18 pages

Stable frames and weights

Authors: Saharon Shelah

Abstract: Was paper 839 in the author's list until winter 2023 when it was divided into three. Part I: We would like to generalize imaginary elements, weight of ortp$(a,M,N), {\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [She90, Ch. III,V,\S4] to the context of good frames. This requires allowing the vocabulary to have predicates and function symbols of infinite arity, but it seemed that we d… ▽ More Was paper 839 in the author's list until winter 2023 when it was divided into three. Part I: We would like to generalize imaginary elements, weight of ortp$(a,M,N), {\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [She90, Ch. III,V,\S4] to the context of good frames. This requires allowing the vocabulary to have predicates and function symbols of infinite arity, but it seemed that we do not suffer any real loss. Part II: Good frames were suggested in [She09d] as the (bare bones) right parallel among a.e.c. to superstable (among elementary classes). Here we consider $(μ, λ, κ)$-frames as candidates for being the right parallel to the class of $|T|^+$-saturated models of a stable theory (among elementary classes). A loss as compared to the superstable case is that going up by induction on cardinals is problematic (for cardinals of small cofinality). But this arises only when we try to lift. For this context we investigate the dimension. Part III: In the context of Part II, we consider the main gap problem for the parallel of somewhat saturated model; showing we are not worse than in the first order case. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Report number: E108 MSC Class: 03C45; 03C48; 03C55

Canonical universal locally finite groups

Authors: Saharon Shelah

Abstract: We prove that for lambda = beta_omega or just lambda strong limit singular of cofinality aleph_0, if there is a universal member in the class K^lf_lambda of locally finite groups of cardinality lambda, then there is a canonical one (parallel to special models for elementary classes, which is the replacement of universal homogeneous ones and saturated ones in cardinals lambda = lambda^ < lambda).… ▽ More We prove that for lambda = beta_omega or just lambda strong limit singular of cofinality aleph_0, if there is a universal member in the class K^lf_lambda of locally finite groups of cardinality lambda, then there is a canonical one (parallel to special models for elementary classes, which is the replacement of universal homogeneous ones and saturated ones in cardinals lambda = lambda^ < lambda). For this, we rely on the existence of enough indecomposable such groups, as proved in "Density of indecomposable locally finite groups". We also more generally deal with the existence of universal members in general classes for such cardinals. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:1901.09747

Report number: Sh:1175 MSC Class: 20A10; 20F50

Anti-Classification Results for Rigidity Conditions in Abelian and Nilpotent Groups

Authors: Gianluca Paolini, Saharon Shelah

Abstract: Relying on the techniques and ideas from our recent paper [13], we prove several anti-classification results for various rigidity conditions in countable abelian and nilpotent groups. We prove three main theorems: (1) the rigid abelian groups are complete co-analytic in the space of countable torsion-free abelian groups ($\mathrm{TFAB}_ω$); (2) the Hopfian groups are complete co-analytic in… ▽ More Relying on the techniques and ideas from our recent paper [13], we prove several anti-classification results for various rigidity conditions in countable abelian and nilpotent groups. We prove three main theorems: (1) the rigid abelian groups are complete co-analytic in the space of countable torsion-free abelian groups ($\mathrm{TFAB}_ω$); (2) the Hopfian groups are complete co-analytic in $\mathrm{TFAB}_ω$; (3) the co-Hopfian groups are complete co-analytic in the space of countable $2$-nilpotent groups. In combination with our result from [13, S5], which shows that the endo-rigid abelian groups are complete co-analytic in $\mathrm{TFAB}_ω$, this shows that four major notions of rigidity from (abelian) group theory are as complex as possible as co-analytic problems. Further, the second and third theorem above solve two open questions of Thomas from [18], who asked this for the space of all countable groups. We leave open the question of whether the co-Hopfian mixed abelian groups are complete co-analytic in the space of countable abelian groups, but we reduce the problem to a concrete question on profinite groups, showing that if $G$ is a countable co-Hopfian abelian reduced group, then, for every prime number $p$, the torsion subgroup $\mathrm{Tor}_p(G)$ of $G$ is finite and $G$ embeds in the profinite group $ \prod_{p \in \mathbb{P}} \mathrm{Tor}_p(G)$. △ Less

Submitted 5 December, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

MSC Class: 03E15; 20K20; 20K30

Borel sets without perfectly many overlap** translations IV

Authors: Andrzej Roslanowski, Saharon Shelah

Abstract: We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no perfect set P such that |(eta+B) cap (nu+B)|>5 for any distinct eta,nu from P. This answers two questions from our previous works. We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no perfect set P such that |(eta+B) cap (nu+B)|>5 for any distinct eta,nu from P. This answers two questions from our previous works. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Report number: Shelah 1240 MSC Class: Primary 03E35; Secondary 03E15; 03E50

On the weak Borel chromatic number and cardinal invariants of the continuum

Authors: Márk Poór, Saharon Shelah

Abstract: We prove that consistently, cov($\mathcal{M})< λ_\mathbf{0} < λ_\mathbf{1} < λ_\mathbf{\infty} < 2^{\aleph_0}$, where $λ_\mathbf{0}$ denotes the weak Borel chromatic number of the Kechris-Solecki-Todorčević graph $\mathbb{G}_0$, that is, the minimal cardinality of a $\mathbb{G}_0$-independent Borel covering of $2^ω$, while $λ_\mathbf{1}$ and $λ_\infty$ are the corresponding invariants of the graph… ▽ More We prove that consistently, cov($\mathcal{M})< λ_\mathbf{0} < λ_\mathbf{1} < λ_\mathbf{\infty} < 2^{\aleph_0}$, where $λ_\mathbf{0}$ denotes the weak Borel chromatic number of the Kechris-Solecki-Todorčević graph $\mathbb{G}_0$, that is, the minimal cardinality of a $\mathbb{G}_0$-independent Borel covering of $2^ω$, while $λ_\mathbf{1}$ and $λ_\infty$ are the corresponding invariants of the graph $\mathbb{G}_1$ and the simple graph associated with the equivalence relation $E_0$. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Report number: Sh:1226

Abstract Corrected Iterations

Authors: Haim Horowitz, Saharon Shelah

Abstract: We consider $(<λ)$-support iterations of $(<λ)$-strategically complete $λ^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by Judah and Shelah for finite support iterations of Suslin ccc forcing, namely that if $(\mathbb{P}_α, \underset{\sim}{\mathbb Q_β} : α\leq δ, β<δ)$ is a FS iteration of Suslin ccc forcing and… ▽ More We consider $(<λ)$-support iterations of $(<λ)$-strategically complete $λ^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by Judah and Shelah for finite support iterations of Suslin ccc forcing, namely that if $(\mathbb{P}_α, \underset{\sim}{\mathbb Q_β} : α\leq δ, β<δ)$ is a FS iteration of Suslin ccc forcing and $U\subseteq δ$ is sufficiently closed, then letting $\mathbb{P}_U$ be the iteration along $U$, we have $\mathbb{P}_U \lessdot \mathbb{P}_δ$. △ Less

Submitted 26 February, 2024; v1 submitted 16 February, 2023; originally announced February 2023.

Superclub, splitting, separating statements

Authors: Shimon Garti, Saharon Shelah

Abstract: We prove that superclub implies $\mathfrak{s}=\aleph_1$. More generally, superclub at a successor of a weakly compact cardinal implies $\mathfrak{s}_κ=κ^+$. Based on this statement, we separate tiltan from superclub at a successor of a supercompact cardinal. We use Galvin's property in order to separate tiltan from superclub at successors of both regular and singular cardinals. We prove that superclub implies $\mathfrak{s}=\aleph_1$. More generally, superclub at a successor of a weakly compact cardinal implies $\mathfrak{s}_κ=κ^+$. Based on this statement, we separate tiltan from superclub at a successor of a supercompact cardinal. We use Galvin's property in order to separate tiltan from superclub at successors of both regular and singular cardinals. △ Less

Submitted 9 March, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: Extended introduction, references

MSC Class: 03E02; 03E17

On projections of the tails of a power

Authors: Samuel M. Corson, Saharon Shelah

Abstract: Let $κ$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^κ$ of eventual equality. From mild assumptions on $κ$ we give general constructions of $\mathcal{E} \in End(\mathfrak{U}^κ/\sim)$ satisfying $\mathcal{E} \circ \mathcal{E} = \mathcal{E}$ which do not descend from $Δ\in End(\mathfrak{U}^κ)$ having small strong supports… ▽ More Let $κ$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^κ$ of eventual equality. From mild assumptions on $κ$ we give general constructions of $\mathcal{E} \in End(\mathfrak{U}^κ/\sim)$ satisfying $\mathcal{E} \circ \mathcal{E} = \mathcal{E}$ which do not descend from $Δ\in End(\mathfrak{U}^κ)$ having small strong supports. As an application there exists an $\mathcal{E} \in End(\mathbb{Z}^κ/\sim)$ which does not come from a $Δ\in End(\mathbb{Z}^κ)$. △ Less

Submitted 24 November, 2022; originally announced November 2022.

MSC Class: 20A15; 03E55; 03G05

Co-Hopfian and boundedly endo-rigid mixed abelian groups

Authors: Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

Abstract: For a given cardinal $λ$ and a torsion abelian group $K$ of cardinality less than $λ$, we present, under some mild conditions (for example $λ=λ^{\aleph_0}$), boundedly endo-rigid abelian group $G$ of cardinality $λ$ with $Tor(G)=K$. Essentially, we give a complete characterization of such pairs $(K, λ)$. Among other things, we use a twofold version of the black box. We present an application of th… ▽ More For a given cardinal $λ$ and a torsion abelian group $K$ of cardinality less than $λ$, we present, under some mild conditions (for example $λ=λ^{\aleph_0}$), boundedly endo-rigid abelian group $G$ of cardinality $λ$ with $Tor(G)=K$. Essentially, we give a complete characterization of such pairs $(K, λ)$. Among other things, we use a twofold version of the black box. We present an application of the construction of boundedly endo-rigid abelian groups. Namely, we turn to the existing problem of co-Hopfian abelian groups of a given size, and present some new classes of them, mainly in the case of mixed abelian groups. In particular, we give useful criteria to detect when a boundedly endo-rigid abelian group is co-Hopfian and completely determine cardinals $λ> 2^{\aleph_{0}}$ for which there is a co-Hopfian abelian group of size $λ$. △ Less

Submitted 6 November, 2023; v1 submitted 31 October, 2022; originally announced October 2022.

Journal ref: Pacific J. Math. 327 (2023) 183-232

Ramsey partitions of metric spaces

Authors: Saharon Shelah, Jonathan L. Verner

Abstract: We investigate the existence of metric spaces which, for any coloring with a fixed number of colors, contain monochromatic isomorphic copies of a fixed starting space K. In the main theorem we construct such a space of size \(2^{\aleph_0}\) for colorings with \(\aleph_0\) colors and any metric space \(K\) of size \(\aleph_0\). We also give a slightly weaker theorem for countable ultrametric \(K\)… ▽ More We investigate the existence of metric spaces which, for any coloring with a fixed number of colors, contain monochromatic isomorphic copies of a fixed starting space K. In the main theorem we construct such a space of size \(2^{\aleph_0}\) for colorings with \(\aleph_0\) colors and any metric space \(K\) of size \(\aleph_0\). We also give a slightly weaker theorem for countable ultrametric \(K\) where, however, the resulting space has size~\(\aleph_1\). △ Less

Submitted 23 October, 2022; originally announced October 2022.

Report number: Sh:1123

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

Authors: Natasha Dobrinen, Saharon Shelah

Abstract: 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… ▽ More 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. △ Less

Submitted 1 January, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: 15 pages. This is paper 1230 on Shelah's list. Theorem 1.8 is improved to a stronger version

MSC Class: 03E02; 03E05; 03E10; 03E35; 05D10

A collection of abstracts of Shelah's Papers

Authors: Saharon Shelah

Abstract: These are abstracts of most of the papers up to publication no. [Sh:143] (and [Sh:217]), mostly compiled in 1980/81 with R. Grossberg. Also more details than in the originals were added in [Sh:5], [Sh:8] [Sh:217], and [C2], [C3] were added (the Cxx are representations of the author's works). These are abstracts of most of the papers up to publication no. [Sh:143] (and [Sh:217]), mostly compiled in 1980/81 with R. Grossberg. Also more details than in the originals were added in [Sh:5], [Sh:8] [Sh:217], and [C2], [C3] were added (the Cxx are representations of the author's works). △ Less

Submitted 4 September, 2022; originally announced September 2022.

Report number: E40

The measuring principle and the continuum hypothesis

Authors: Mohammad Golshani, Saharon Shelah

Abstract: We show that one can force the Measuring principle without adding any new reals. We also show that it is consistent with the large continuum. These results answer two famous questions of Justin Moore. We show that one can force the Measuring principle without adding any new reals. We also show that it is consistent with the large continuum. These results answer two famous questions of Justin Moore. △ Less

Submitted 27 January, 2024; v1 submitted 16 July, 2022; originally announced July 2022.

Comments: There are some gaps in the proofs. We will soon replace a new version fixing them

S-spaces and large continuum

Authors: Alan Dow, Saharon Shelah

Abstract: We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum. We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Report number: F2103 MSC Class: 54A35; 03E35

On automorphisms of $\mathcal P(λ)/[λ]^{<λ}$

Authors: Jakob Kellner, Anda Latif, Saharon Shelah

Abstract: We investigate the statement ``all automorphisms of $\mathcal P(λ)/[λ]^{<λ}$ are trivial''. We show that MA implies the statement for regular uncountable $λ<2^{\aleph_0}$; that the statement is false for measurable $λ$ if $2^λ=λ^+$; and that for ``densely trivial'' it can be forced (together with $2^λ=λ^{++}$) for inaccessible $λ$. We investigate the statement ``all automorphisms of $\mathcal P(λ)/[λ]^{<λ}$ are trivial''. We show that MA implies the statement for regular uncountable $λ<2^{\aleph_0}$; that the statement is false for measurable $λ$ if $2^λ=λ^+$; and that for ``densely trivial'' it can be forced (together with $2^λ=λ^{++}$) for inaccessible $λ$. △ Less

Submitted 11 May, 2024; v1 submitted 5 June, 2022; originally announced June 2022.

Report number: Sh:1224

Between Whitehead groups and uniformization

Authors: Márk Poór, Saharon Shelah

Abstract: For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality $\aleph_1$ with non-freeness invariant $\subseteq S$ is $\aleph_1$-coseparable, i.e. Ext$(G, \oplus_{i=0}^{\infty} \mathbb Z)=0$ (in particular Whitehead, i.e.\ Ext… ▽ More For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality $\aleph_1$ with non-freeness invariant $\subseteq S$ is $\aleph_1$-coseparable, i.e. Ext$(G, \oplus_{i=0}^{\infty} \mathbb Z)=0$ (in particular Whitehead, i.e.\ Ext$(G, \mathbb Z)=0$)". This solves problems B3 and B4 from Eklof and Mekler's monograph. △ Less

Submitted 9 June, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Report number: Shelah [Sh:486]

On the bounding, splitting, and distributivity numbers

Authors: Alan Dow, Saharon Shelah

Abstract: 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 fol… ▽ More 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}. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Report number: F1276 MSC Class: 03E15

Universal graphs between a strong limit singular and its power

Authors: Márk Poór, Saharon Shelah

Abstract: 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 $κ$… ▽ More 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^κ)$. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Report number: Shelah [Sh:1185] MSC Class: Primary: 03E35; Secondary: 03E55; 03E05; 03E65

The Keisler-Shelah isomorphism theorem and the continuum hypothesis II

Authors: Mohammad Golshani, Saharon Shelah

Abstract: 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 consistent that the continuum hypothesis fails and for any given sequence $\mathbf m=\langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < ω\rangle$ of models of size at most $\aleph_1$ in a countable language, if the sequence sa… ▽ More 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 consistent that the continuum hypothesis fails and for any given sequence $\mathbf m=\langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < ω\rangle$ of models of size at most $\aleph_1$ in a countable language, if the sequence satisfies a mild extra property, then for every non-principal ultrafilter $\mathcal D$ on $ω$, if the ultraproducts $\prod\limits_{\mathcal D} \mathbb{M}^{1}_n$ and $\prod\limits_{\mathcal D} \mathbb{M}^{2}_n$ are elementarily equivalent, then they are isomorphic. △ Less

Submitted 27 October, 2022; v1 submitted 31 December, 2021; originally announced December 2021.

Comments: This is publication 1223 of the second author

Kurepa trees and the failure of the Galvin property

Authors: Tom Benhamou, Shimon Garti, Saharon Shelah

Abstract: We force the existence of a non-trivial $κ$-complete ultrafilter over $κ$ which fails to satisfy the Galvin property. This answers a question asked by the first author and Moti Gitik. We force the existence of a non-trivial $κ$-complete ultrafilter over $κ$ which fails to satisfy the Galvin property. This answers a question asked by the first author and Moti Gitik. △ Less

Submitted 17 June, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

MSC Class: 03E02; 03E35; 03E55

Journal ref: Proceedings of the American Mathematical Society, Volume 151, Number 3, March 2023

Maximal models up to the first measurable in ZFC

Authors: John T. Baldwin, Saharon Shelah

Abstract: 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 no maximal models in any $χ\geq μ$. 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 no maximal models in any $χ\geq μ$. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: 27 pages

MSC Class: 03C75; 03E55

Hanf numbers for Extendibility and related phenomena

Authors: John T. Baldwin, Saharon Shelah

Abstract: 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 proof that in a suitable extension of ZFC, there is a complete sentence of $L_{ω_1,ω}$ that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again. 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 proof that in a suitable extension of ZFC, there is a complete sentence of $L_{ω_1,ω}$ that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: 26 pages

MSC Class: 03C75; 03E55

Graphs represented by Ext

Authors: Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

Abstract: 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's small object argument which helps $Ext$ va… ▽ More 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'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'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. △ Less

Submitted 6 June, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

Shearing in some simple rank one theories

Authors: M. Malliaris, S. Shelah

Abstract: Dividing asks about inconsistency along indiscernible sequences. In order to study the finer structure of simple theories without much dividing, the authors recently introduced shearing, which essentially asks about inconsistency along generalized indiscernible sequences. Here we characterize the shearing of the random graph. We then use shearing to distinguish between the random graph and the the… ▽ More Dividing asks about inconsistency along indiscernible sequences. In order to study the finer structure of simple theories without much dividing, the authors recently introduced shearing, which essentially asks about inconsistency along generalized indiscernible sequences. Here we characterize the shearing of the random graph. We then use shearing to distinguish between the random graph and the theories $T_{n,k}$, the higher-order analogues of the triangle-free random graph. It follows that shearing is distinct from dividing in simple unstable theories, and distinguishes meaningfully between classes of simple unstable rank one theories. The paper begins with an overview of shearing, and includes open questions. △ Less

Submitted 10 July, 2023; v1 submitted 26 September, 2021; originally announced September 2021.

Comments: [MiSh:1221] . This manuscript grew out of what was originally the last section of 1810.09604v2

MSC Class: 03C45

Four Cardinals and Their Relations in ZF

Authors: Lorenz Halbeisen, Riccardo Plati, Salome Schumacher, Saharon Shelah

Abstract: For a set $M$, $\operatorname{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 subsets of $M$, and $\operatorname{seq}^{1-1}(M)$ denotes the set of all finite sequences without repetition which can be formed with elements of $M$. Furthermore, for a set $S$, let $|S|$ denote the cardinality of $S$. Und… ▽ More For a set $M$, $\operatorname{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 subsets of $M$, and $\operatorname{seq}^{1-1}(M)$ denotes the set of all finite sequences without repetition which can be formed with elements of $M$. Furthermore, for a set $S$, let $|S|$ denote the cardinality of $S$. Under the assumption that the four cardinalities $|[M]^2|$, $|M^2|$, $|\operatorname{fin}(M)|$, $|\operatorname{seq}^{1-1}(M)|$ are pairwise distinct and pairwise comparable in ZF, there are six possible linear orderings between these four cardinalities. We show that at least five of the six possible linear orderings are consistent with ZF. △ Less

Submitted 6 February, 2023; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 19 pages, 1 figure

MSC Class: {\bf 03E35}; 03E10; 03E25

Journal ref: Annals of Pure and Applied Logic, Volume 174, Issue 2, February 2023

Aristotelian poetry

Authors: Shimon Garti, Saharon Shelah

Abstract: **g Zhang proved the consistency of $\binom{ω_2}{ω_1}\rightarrow\binom{n}{ω_1}_ω$ for every $n\inω$ with the negative relation $\binom{ω_2}{ω_1}\nrightarrow\binomω{ω_1}_ω$. We reduce the consistency strength of this statement to an $ω_1$-Erdos cardinal. **g Zhang proved the consistency of $\binom{ω_2}{ω_1}\rightarrow\binom{n}{ω_1}_ω$ for every $n\inω$ with the negative relation $\binom{ω_2}{ω_1}\nrightarrow\binomω{ω_1}_ω$. We reduce the consistency strength of this statement to an $ω_1$-Erdos cardinal. △ Less

Submitted 13 December, 2021; v1 submitted 10 September, 2021; originally announced September 2021.

MSC Class: 03E02; 03E55

Partition theorems for expanded trees

Authors: Saharon Shelah

Abstract: 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… ▽ More 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. △ Less

Submitted 30 July, 2023; v1 submitted 31 August, 2021; originally announced August 2021.

Comments: light proof-reading, 16 pages

Report number: Sh:1176

Universality: new criterion for non-existence

Authors: Saharon Shelah

Abstract: We find new "reasons" 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 cons… ▽ More We find new "reasons" 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]. △ Less

Submitted 14 March, 2022; v1 submitted 15 August, 2021; originally announced August 2021.

Comments: 24 pages, after referee report

Report number: Sh:1164 MSC Class: 03E05; 03E45

New simple theories from hypergraph sequences

Authors: M. Malliaris, S. Shelah

Abstract: We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not require familiarity with the earlier proof.) We prove a model-completion and quantifier-elimination result for theories in this family. We develop a combinatorial p… ▽ More We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not require familiarity with the earlier proof.) We prove a model-completion and quantifier-elimination result for theories in this family. We develop a combinatorial property which they share. We invoke regular ultrafilters to show the strength of this property, showing that any flexible ultrafilter which is good for the random graph is able to saturate such theories. △ Less

Submitted 15 January, 2023; v1 submitted 12 August, 2021; originally announced August 2021.

Comments: [MiSh:1206], 14 pages

Some simple theories from a Boolean algebra point of view

Authors: M. Malliaris, S. Shelah

Abstract: We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the theories $T_{n,k}$, which are the higher-order analogues of the triangle-free random graph. The proof involves building Boolean algebras and ultrafilters "by h… ▽ More We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the theories $T_{n,k}$, which are the higher-order analogues of the triangle-free random graph. The proof involves building Boolean algebras and ultrafilters "by hand" to satisfy certain model theoretically meaningful chain conditions. This may be seen as advancing a line of work going back through Kunen's construction of good ultrafilters in ZFC using families of independent functions. We conclude with a theorem on flexible ultrafilters, and open questions. △ Less

Submitted 5 July, 2023; v1 submitted 11 August, 2021; originally announced August 2021.

Comments: [MiSh:1218], 38 pages

The Keisler-Shelah isomorphism theorem and the continuum hypothesis

Authors: Mohammad Golshani, Saharon Shelah

Abstract: We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^ω/ \mathcal{U} \simeq \mathbf{N}^ω/ \mathcal{U}$ for some ultrafilter $\mathcal{U}$ on $ω,$ then $CH$ holds. We also provide some consistency results about Keisler and Shelah isomorphism theorems in the absence of $CH$. We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^ω/ \mathcal{U} \simeq \mathbf{N}^ω/ \mathcal{U}$ for some ultrafilter $\mathcal{U}$ on $ω,$ then $CH$ holds. We also provide some consistency results about Keisler and Shelah isomorphism theorems in the absence of $CH$. △ Less

Submitted 10 May, 2022; v1 submitted 9 August, 2021; originally announced August 2021.

Comments: This is publication 1215 of second author

On failure of 0-1 laws

Authors: Saharon Shelah

Abstract: Let $α\in (0,1)_{\mathbb{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. We deal with the failure of the 0-1 law for stronger logics: $\mathbb{L}_{\infty,k},k$ large enough and the inductive logic. Let $α\in (0,1)_{\mathbb{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. We deal with the failure of the 0-1 law for stronger logics: $\mathbb{L}_{\infty,k},k$ large enough and the inductive logic. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1706.01226

Report number: Sh:1061 MSC Class: 03C13

Corrected Iteration

Authors: Saharon Shelah

Abstract: For $λ$ inaccessible, we may consider $(< λ)$-support iteration of some specific $(<λ)$-complete $λ^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct" the iteration to regain it. This is used in another paper in the consistency of $cov(meagre) < \mathfrak{d}_λ$. For $λ$ inaccessible, we may consider $(< λ)$-support iteration of some specific $(<λ)$-complete $λ^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct" the iteration to regain it. This is used in another paper in the consistency of $cov(meagre) < \mathfrak{d}_λ$. △ Less

Submitted 4 September, 2022; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:0904.0817, arXiv:1302.3449

Report number: Sh:1126 MSC Class: 03E35

Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

Authors: Saharon Shelah

Abstract: This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} = \mathfrak{u} < \mathfrak{a} $ also gives $ \mathfrak{s} = \mathfrak{d} $. The proof uses a measurable cardinal and a c.c.c. forcing so it gives large $ \mathfrak{d} $ a… ▽ More This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} = \mathfrak{u} < \mathfrak{a} $ also gives $ \mathfrak{s} = \mathfrak{d} $. The proof uses a measurable cardinal and a c.c.c. forcing so it gives large $ \mathfrak{d} $ and assumes a large cardinal. Second point is adding to the results of \S2,\S3 which say that (in \S3 with no large cardinals) we can force $ {\aleph_1} < \mathfrak{b} = \mathfrak{d} < \mathfrak{a}$. We like to have $ {\aleph_1} < \mathfrak{s} \le \mathfrak{b} = \mathfrak{d} < \mathfrak{a} $. For this we allow in \S2,\S3 the sets $ K_t $ to be uncountable; this requires non-essential changes. In particular, we replace usually $ {\aleph_0}, {\aleph_1} $ by $ σ, \partial $. Naturally we can deal with $ \mathfrak{i} $ and similar invariants. Third we proofread the work again. To get $ \mathfrak{s} $ we could have retained the countability of the member of the $ I_t$-s but the parameters would change with $ A \in I_t$, well for a cofinal set of them; but the present seems simpler. We intend to continue in [Sh:F2009]. △ Less

Submitted 8 August, 2021; originally announced August 2021.

Comments: revisited version of arXiv:math/0012170

Report number: Sh:700a

On the Existence of Uncountable Hopfian and co-Hopfian Abelian Groups

Authors: Gianluca Paolini, Saharon Shelah

Abstract: We deal with the problem of existence of uncountable co-Hopfian abelian groups and (absolute) Hopfian abelian groups. Firstly, we prove that there are no co-Hopfian reduced abelian groups $G$ of size $< \mathfrak{p}$ with infinite $\mathrm{Tor}_p(G)$, and that in particular there are no infinite reduced abelian $p$-groups of size $< \mathfrak{p}$. Secondly, we prove that if… ▽ More We deal with the problem of existence of uncountable co-Hopfian abelian groups and (absolute) Hopfian abelian groups. Firstly, we prove that there are no co-Hopfian reduced abelian groups $G$ of size $< \mathfrak{p}$ with infinite $\mathrm{Tor}_p(G)$, and that in particular there are no infinite reduced abelian $p$-groups of size $< \mathfrak{p}$. Secondly, we prove that if $2^{\aleph_0} < λ< λ^{\aleph_0}$, and $G$ is abelian of size $λ$, then $G$ is not co-Hopfian. Finally, we prove that for every cardinal $λ$ there is a torsion-free abelian group $G$ of size $λ$ which is absolutely Hopfian, i.e., $G$ is Hopfian and $G$ remains Hopfian in every forcing extensions of the universe. △ Less

Submitted 31 August, 2023; v1 submitted 23 July, 2021; originally announced July 2021.

MSC Class: 20K30; 03E75

Usuba's principle $UB_λ$ can fail at singular cardinals

Authors: Mohammad Golshani, Saharon Shelah

Abstract: We answer a question of Usuba by showing that the combinatorial principle $UB_λ$ can fail at a singular cardinal. Furthermore, $λ$ can be taken to be $\aleph_ω.$ We answer a question of Usuba by showing that the combinatorial principle $UB_λ$ can fail at a singular cardinal. Furthermore, $λ$ can be taken to be $\aleph_ω.$ △ Less

Submitted 26 October, 2023; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: Paper number 1216 second author. Accepted for Journal of Symbolic Logic