BZPEER

preprint2023arXiv

On slow minimal reals I

Answering a question of Harrington, we show that there exists a proper forcing notion, which adds a minimal real $η\in \prod_{i<ω} n^*_i$ , which is eventually different from any old real in $\prod_{i<ω} n^*_i$ , where the sequence $\langle n^*_i \mid i<ω\rangle$ grows slowly.

preprint2023arXiv

On the classification of definable ccc forcing notions

We show that for a Suslin ccc forcing notion $\mathbb Q$ adding a Hechler real, `` $\text{ZF}+\text{DC}_{ω_1}+$ all sets of reals are $I_{\mathbb Q,\aleph_0}$ -measurable'' implies the existence of an inner model with a measurable cardinal. We also introduce a wide class of Suslin ccc forcing notions which add a Hechler real, so that the above result applies to them.

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'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.

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.

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 "strong failure of club guessing" with GCH.

preprint2022arXiv

No universal graphs at uncountable regular cardinals

Assuming the existence of a strong cardinal, we find a model of ZFC in which for each uncountable regular cardinal $λ,$ there is no universal graph of size $λ$ .

preprint2022arXiv

The Keisler-Shelah isomorphism theorem and the continuum hypothesis

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$ .

preprint2021arXiv

(Weak) diamond can fail at the least inaccessible cardinal

Starting from suitable large cardinals, we force the failure of (weak) diamond at the least inaccessible cardinal. The result improves an unpublished theorem of Woodin and a recent result of Ben-Neria, Garti and Hayut.

preprint2021arXiv

Combinatorial and number-theoretic properties of generic reals

We discuss some properties of Cohen and random reals. We show that they belong to any definable partition regular family, and hence they satisfy most "largeness" properties studied in Ramsey theory. We determine their position in the Mahler's classification of the reals and using it, we get some information about Liouville numbers. We also show that they are wild in the sense of o-minimality, i.e., they define the set of integers.

preprint2021arXiv

Two remarks on Merimovich's model of the total failure of GCH

Let $M$ denote the Merimovich's model in which for each infinite cardinal $λ, 2^λ=λ^{+3}$ . We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall λ(λ$ is a singular cardinal $\Rightarrow pp(λ)=λ^{+3}).$ (2) For each singular cardinal $λ$ there is an inner model $N$ of $M$ such that $M$ and $N$ have the same bounded subsets of $λ,$ $λ$ is a singular cardinal in $N$ , $(λ^{+i})^N=(λ^{+i})^M$ , for $i=1,2,3,$ and $N \models 2^λ=λ^{+}$ . Thus it is possible to add many new fresh subsets to $λ$ without adding any new bounded subsets to $λ$ .

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.$

preprint2020arXiv

The generalized Kurepa hypothesis at singular cardinals

We discuss the generalized Kurepa hypothesis $KH_λ$ at singular cardinals $λ$ . In particular, we answer questions of Erdös-Hajnal [1] and Todorcevic [6], [7] by showing that $GCH$ does not imply $KH_{\aleph_ω}$ nor the existence of a family $\mathcal{F} \subseteq [\aleph_ω]^{\aleph_0}$ of size $\aleph_{ω+1}$ such that $\mathcal{F} \restriction X$ has size $\aleph_0$ for every $X \subseteq S, |X|=\aleph_0$ .

preprint2020arXiv

The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps

Assuming the existence of a strong cardinal $κ$ , a weakly compact cardinal $λ$ above it and $γ> λ,$ we force a generic extension in which $κ$ is a singular strong limit cardinal of any given cofinality $δ$ , $2^κ\geq γ$ and such that the tree property holds at $κ^{++}$ .

preprint2016arXiv

A Groszek-Laver pair of undistinguishable $E_0$ classes

A generic extension $L[x,y]$ of $L$ by reals $x,y$ is defined, in which the union of $\mathsf E_0$ -classes of $x$ and $y$ is a $Π^1_2$ set, but neither of these two $\mathsf E_0$ -classes is separately ordinal-definable.

preprint2016arXiv

All uncountable regular cardinals can be inaccessible in HOD

Assuming the existence of a supercompact cardinal and an inaccessible above it, we construct a model of ZFC, in which all uncountable regular cardinals are inaccessible in HOD.

preprint2016arXiv

An Easton like theorem in the presence of Shelah Cardinals

We show that Shelah cardinals are preserved under the canonical $GCH$ forcing notion. We also show that if $GCH$ holds and $F:REG\rightarrow CARD$ is an Easton function which satisfies some weak properties, then there exists a cofinality preserving generic extension of the universe which preserves Shelah cardinals and satisfies $\forall κ\in REG,~ 2^κ=F(κ)$ . This gives a partial answer to a question asked by Cody [1] and independently by Honzik [5]. We also prove an indestructibility result for Shelah cardinals.

preprint2016arXiv

Collapsing the cardinals of $HOD$

Assuming that $GCH$ holds and $κ$ is $κ^{+3}$ -supercompact, we construct a generic extension $W$ of $V$ in which $κ$ remains strongly inaccessible and $(α^+)^{HOD} < α^+$ for every infinite cardinal $α< κ$ . In particular the rank-initial segment $W_κ$ is a model of ZFC in which $(α^+)^{HOD} < α^+$ for every infinite cardinal $α$ .

preprint2016arXiv

Notes on countably generated complete Boolean algebras

We give a necessary and sufficient condition for an atomless Boolean algebra to be countably generated, and use it to give new proofs of some some know facts due to Gaifman-Hales and Solovay and also due to Jech, Kunen and Magidor. We also show that Jensen's coding theorem can be used to provide cardinal preserving countably generated complete Boolean algebras of arbitrary large cardinality. This answers a question of Jech [5] from 1976.

preprint2016arXiv

On cuts in ultraproducts of linear orders I

For an ultrafilter $D$ on a cardinal $κ,$ we wonder for which pair $(θ_1, θ_2)$ of regular cardinals, we have: for any $(θ_1+θ_2)^+-$ saturated dense linear order $J, J^κ/ D$ has a cut of cofinality $(θ_1, θ_2).$ We deal mainly with the case $θ_1, θ_2 > 2^κ.$

preprint2016arXiv

On Foreman's maximality principle

In this paper we consider the Foreman's maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We prove that it is consistent that every $c.c.c.$ forcing adds a real and that for every uncountable regular cardinal $κ$ , every $κ$ -closed forcing of size $2^{<κ}$ collapses some cardinals.

preprint2016arXiv

Power set at $\aleph_ω$ : On a theorem of Woodin

We give Woodin's original proof that if there exists a $(κ+2)-$ strong cardinal $κ,$ then there is a generic extension of the universe in which $κ=\aleph_ω,$ $GCH$ holds below $\aleph_ω$ and $2^{\aleph_ω}=\aleph_{ω+2}.$

preprint2016arXiv

Tree property at successor of a singular limit of measurable cardinals

Assume $λ$ is a singular limit of $η$ supercompact cardinals, where $η\leq λ$ is a limit ordinal. We present two forcing methods for making $λ^+$ the successor of the limit of the first $η$ measurable cardinals while the tree property holding at $λ^+.$ The first method is then used to get, from the same assumptions, tree property at $\aleph_{η^2+1}$ with the failure of $SCH$ at $\aleph_{η^2}$ . This extends results of Neeman and Sinapova. The second method is also used to get tree property at successor of an arbitrary singular cardinal, which extends some results of Magidor-Shelah, Neeman and Sinapova.

Mohammad Golshani

Research overview

Is this your work?

38 publications

On slow minimal reals I

On the classification of definable ccc forcing notions

Graphs represented by Ext

Iterated Ramsey bounds for the Hales-Jewett numbers

NNR Revisited

No universal graphs at uncountable regular cardinals

The Keisler-Shelah isomorphism theorem and the continuum hypothesis

(Weak) diamond can fail at the least inaccessible cardinal

Combinatorial and number-theoretic properties of generic reals

Two remarks on Merimovich's model of the total failure of GCH

Specializing trees and answer to a question of Williams

The generalized Kurepa hypothesis at singular cardinals

The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps

A Groszek-Laver pair of undistinguishable E0E_0E0​ classes

All uncountable regular cardinals can be inaccessible in HOD

An Easton like theorem in the presence of Shelah Cardinals

Collapsing the cardinals of HODHODHOD

Notes on countably generated complete Boolean algebras

On cuts in ultraproducts of linear orders I

On Foreman's maximality principle

Power set at ℵω\aleph_ωℵω​: On a theorem of Woodin

Tree property at successor of a singular limit of measurable cardinals

Adding a lot of Cohen reals by adding a few I

Adding a lot of Cohen reals by adding a few II

Almost Souslin Kurepa trees

An introdution to forcing

HOD, V and the GCH

Independence of higher Kurepa hypotheses

Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH

Killing the GCH everywhere with a single real

More on almost Souslin Kurepa trees

On a question of Zadrozny

On the notion of generic cut for models of ZFC

On the notions of dimension and transcendence degree for models of ZFC

Shelah's strong covering property and CH in V[r]

Singular cofinality conjecture and a question of Gorelic

Woodin's surgery method

The foundation axiom and elementary self-embeddings of the universe

See the researcher in context

Building this map preview

A Groszek-Laver pair of undistinguishable $E_0$ classes

Collapsing the cardinals of $HOD$

Power set at $\aleph_ω$ : On a theorem of Woodin