BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Moti Gitik 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
We continue the work done by Gitik, Kanovei, Koepke, and later by the authors. We prove that for every set $A$ in a Magidor-Radin generic extension using a coherent sequence such that $o^{\vec{U}}(κ)<κ$, there is a subset $C'$ of the Magidor club such that $V[A]=V[C']$. Also we classify all intermediate $ZFC$ transitive models $V\subseteq M\subseteq V[G]$.
We continue the work done by the authors and before that by the second author, Kanovei and koepke. We prove that for every set of ordinals $A$ in a Magidor-Radin generic extension using a coherent sequence such that $o^{\vec{U}}(κ)<κ^+$, there is $C'\subseteq C_G$, such that $V[A]=V[C']$. Also we prove that the supremum of a fresh set in a Prikry, tree Prikry, Magidor, Radin-Magidor and Radin forcing, changes cofinality to $ω$.
We prove the consistency of the statement $\mathfrak{u}_{\aleph_ω}<2^{\aleph_ω}$. We show that the consistency strength of this statement is exactly a measurable cardinal $μ$ so that $o(μ)=μ^{++}$.
Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V. In particular, a model with all regular uncountable cardinals measurable in HOD is constructed.
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 $λ> κ$.
Let $κ$,$λ$ be regular uncountable cardinals such that $λ> κ^+$ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with $s(κ) = λ$ starting from a ground model in which $o(κ) = λ$ and prove that assuming $\neg 0^¶$, $s(κ) = λ$ implies that $o(κ) \geq λ$ in the core model.
The following pcf results are proved: 1. Assume that kappa > aleph_0 is a weakly compact cardinal. Let mu > 2^kappa be a singular cardinal of cofinality kappa. Then for every regular lambda < pp^+_{Gamma(kappa)} (mu) there is an increasing sequence (lambda_i | i < kappa) of regular cardinals converging to mu such that lambda = tcf(prod_{i < kappa} lambda_i, <_{J^{bd}_kappa}). 2. Let mu be a strong limit cardinal and theta a cardinal above mu. Suppose that at least one of them has an uncountable cofinality. Then there is sigma_* < mu such that for every chi < theta the following holds: theta > sup{sup pcf_{sigma_*-complete} (frak a) | frak a subseteq Reg cap (mu^+, chi) and |frak a| < mu}. As an application we show that: if kappa is a measurable cardinal and j:V to M is the elementary embedding by a kappa-complete ultrafilter over kappa, then for every tau the following holds: 1. if j(tau) is a cardinal then j(tau) = tau; 2. |j(tau)| = |j(j(tau))|; 3. for any kappa-complete ultrafilter W on kappa, |j (tau)| = |j_W(tau)|. The first two items provide affirmative answers to questions from Gitik and Shelah (1993) [2] and the thrid to a question of D. Fremlin.
We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $θ$-supercompact, for any desired $θ$. In addition, we prove several global results showing how the entire class of weakly compact cardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals or with the class of nearly $θ_κ$-supercompact cardinals $κ$, for nearly any desired function $κ\mapstoθ_κ$. These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals.
We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in V.
We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all bounded X subset aleph_{|alpha|^+}, M_n^#(X) exists. Theorem B: Let kappa be a singular cardinal of uncountable cofinality. If {alpha<kappa| 2^alpha=alpha^+} is stationary as well as co-stationary then for all n< omega and for all bounded X subset kappa, M_n^#(X) exists. Theorem A answers a question of Gitik and Mitchell, and Theorem B yields a lower bound for an assertion discussed in Gitik, M., Introduction to Prikry type forcing notions, in: Handbook of set theory, Foreman, Kanamori, Magidor (see Problem 4 there). The proofs of these theorems combine pcf theory with core model theory. Along the way we establish some ZFC results in cardinal arithmetic, motivated by Silver's theorem and we obtain results of core model theory, motivated by the task of building a ``stable core model.'' Both sets of results are of independent interest.
We give some general criteria, when kappa-complete forcing preserves largeness properties -- like kappa-presaturation of normal ideals on lambda (even when they concentrate on small cofinalities). Then we quite accurately obtain the consistency strength ``NS_lambda is aleph_1-preserving'', for lambda > aleph_2 .
The purpose of the paper is to produce models V_1 \subset V_2 such that adding kappa-many Cohen reals to V_2 adds lambda Cohen reals to V_1. Some of the results: 1. Suppose that V satisfies GCH, kappa = \cup kappa_n= \cup o(kappa_n). Then there is a cardinal preserving generic extension V_1 of V satisfying GCH and having the same reals as V does , so that adding kappa many Cohen reals over V_1 produces kappa^+ Cohen reals over V. 2. Suppose that V is a model of GCH. Then there is a cofinality preserving extension V_1 satisfying GCH so that adding a Cohen real to V_1 produces aleph_1 Cohen reals over V. 3. There is a pair (W,W_1) of generic cofinality preserving etensions of L such that W is contained in W_1 and W_1 contains a perfect set of W-reals which is not in W. The last statement is a slight improvement of a result of B.Velickovic and H.Woodin on the Prikry problem.
We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $κ$ is a singular strong limit cardinal and $2^κ>= λ$ where $λ$ is not the successor of a cardinal of cofinality at most $κ$. (i) If $\cofinality(κ)>\gw$ then $o(κ)\geλ$. (ii) If $\cofinality(κ)=\gw$ then either $o(κ)\geλ$ or $\set{\ga:K\sat o(\ga)\ge\ga^{+n}}$ is cofinal in $κ$ for each $n\in\gw$. In order to prove this theorem we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders.
We are proving the following: (1) If $\kap$ is a weakly inaccessible then $NS_\kap$ is not $\kap^+$-saturated. (2) If $\kap$ is a weakly inaccessible and $\tet <\kap$ is regular then $NS^\tet_\kap$ is not $\kap^+$-saturated. (3) If $\kap$ is singular then $NS^{cf\kap}_{\kap^+}$ is not $\kap^{++}$-saturated. Combining this with previous results of Shelah, one obtains the following: (A) If $\kap >\aleph_1$ then $NS_\kap$ is not $\kap^+$-saturated. (B) If $\tet^+<\kap$ then $NS^\tet_\kap$ is not $\kap^+$-saturated.
Answering two questions of D. Fremlin [Real-valued measurable cardinals, in Set Theory of the Reals, H. Judah ed. 1993, 151-305 ] we show the following: (1) If c is real-valued measurable then the Maharam type of (c,P(c),sigma) is 2^c. (2) It is consistent to have k real-valued measurable but for every submodel V_1 with k measurable in it there are no k reals which are random over V_1.
Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying 2^kappa=kappa^++ and GCH below kappa. By a result of W. Mitchell and the author the assumptions are optimal.