BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mohammad Golshani appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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 $κ^{++}$.
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.
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.
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.
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 $α$.
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.
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^κ.$
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.
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}.$
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.
In this paper we produce models $V_1\subseteq V_2$ of set theory such that adding $κ$-many Cohen reals to $V_2$ adds $λ$-many Cohen reals to $V_1$, for some $λ>κ$. We deal mainly with the case when $V_1$ and $V_2$ have the same cardinals.
We study pairs $(V, V_{1})$, $V \subseteq V_1$, of models of $ZFC$ such that adding $κ-$many Cohen reals over $V_{1}$ adds $λ-$many Cohen reals over $V$ for some $λ> κ$.
We show that the existence of an almost Souslin Kurepa tree is consistent with $ZFC$. We also prove their existence in $L$. These results answer two questions from Zakrzewski.
The aim of these lectures is to give a short introduction to forcing. We will avoid metamathematical issues as much as possible and similarly we will avoid performing the actual construction of forcing. We assume familiarity with basic predicate logic, the axioms of ZF C set theory and constructible sets. We will also make use of tools like the coding of Borel sets and the Shoenfield absoluteness result.
Starting from large cardinals we construct a model of $ZFC$ in which the $GCH$ fails everywhere, but such that $GCH$ holds in its $HOD$. The result answers a question of Sy Friedman. Also, relative to the existence of large cardinals, we produce a model of $ZFC+GCH$ such that $GCH$ fails everywhere in its $HOD$.
We study the Generalized Kurepa Hypothesis introduced by Chang. We show that relative to the existence of an inaccessible cardinal the Gap-$n$-Kurepa hypothesis does not follow from the Gap-$m$-Kurepa hypothesis for $m$ different from $n$. The use of an inaccessible is necessary for this result.
Starting from large cardinals we construct a pair $V_1\subseteq V_2$ of models of $ZFC$ with the same cardinals and cofinalities such that $GCH$ holds in $V_1$ and fails everywhere in $V_2$.
Shelah-Woodin investigate the possibility of violating instances of $GCH$ through the addition of a single real. In particular they show that it is possible to obtain a failure of $CH$ by adding a single real to a model of $GCH$, preserving cofinalities. In this article we strengthen their result by showing that it is possible to violate $GCH$ at all infinite cardinals by adding a single real to a model of $GCH.$ Our assumption is the existence of an $H(κ^{+3})$-strong cardinal, by work of Gitik and Mitchell it is known that more than an $H(κ^{++})$-strong cardinal is required.
It is consistent that there exists a Souslin tree $T$ such that after forcing with it, $T$ becomes an almost Souslin Kurepa tree. This answers a question of Zakrzewski.
We answer a question of Zadrozny.
We define the notion of generic cut between models of ZFC and give some examples.
We define notions of generic dimension and generic transcendence degree between models of ZFC and give some examples.
In this paper we review Shelah's strong covering property and its applications. We also extend some of the results of Shelah and Woodin on the failure of $CH$ by adding a real.
We give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $α$ with $cf(α)=ω_1$ and $α^ω> α.$
In this short paper we give an overview of Woodin's surgery method.
We consider the role of the foundation axiom and various anti-foundation axioms in connection with the nature and existence of elementary self-embeddings of the set-theoretic universe.