BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Mohammad Golshani contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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.
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.
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.
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 $λ$.
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$.
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.
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.
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 $λ$.
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.$
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$.
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 $κ^{++}$.