BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Menachem Magidor 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
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and subtle cardinals.
We provide a model theoretical and tree property like characterization of $λ$-$Π^1_1$-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.
A reflection principle for Corson compacta holds in the forcing extension obtained by Levy-collapsing a supercompact cardinal to~$\aleph_2$. In this model, a compact Hausdorff space is Corson if and only if all of its continuous images of weight~$\aleph_1$ are Corson compact. We use the Gelfand--Naimark duality, and our results are stated in terms of unital abelian \cstar-algebras.
We prove that if $μ>{\rm cf}(μ)=ω$ and $2^μ=μ^+$ then $\binom{μ^+}μ\nrightarrow\binom{μ^+\ \aleph_2}{μ μ}$.
If we replace first order logic by second order logic in the original definition of Gödel's inner model $L$, we obtain HOD. In this paper we consider inner models that arise if we replace first order logic by a logic that has some, but not all, of the strength of second order logic. Typical examples are the extensions of first order logic by generalized quantifiers, such as the Magidor-Malitz quantifier, the cofinality quantifier, or stationary logic. Our first set of results show that both $L$ and HOD manifest some amount of {\em formalism freeness} in the sense that they are not very sensitive to the choice of the underlying logic. Our second set of results shows that the cofinality quantifier gives rise to a new robust inner model between $L$ and HOD. We show, among other things, that assuming a proper class of Woodin cardinals the regular cardinals $>\aleph_1$ of $V$ are weakly compact in the inner model arising from the cofinality quantifier and the theory of that model is (set) forcing absolute and independent of the cofinality in question. We do not know whether this model satisfies the Continuum Hypothesis, assuming large cardinals, but we can show, assuming three Woodin cardinals and a measurable above them, that if the construction is relativized to a real, then on a cone of reals the Continuum Hypothesis is true in the relativized model.
We analyze the non-stationary ideal and the club filter at aleph_1 under MM.
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal $κ$ of uncountable cofinality where SCH fails and for which there is a collection of graphs on $κ^+$ whose size is less than $2^κ$ and such that any graph on $κ^+$ embeds into one of the graphs in the collection.
Assuming that there is a stationary set in $ω_{2}$ of ordinals of countable cofinality that does not reflect, we prove that there exists a compact space which is not Corson compact and whose all continuous images of weight at most $ω_1$ are Eberlein compacta. This yields an example of a Banach space of density $ω_{2}$ which is not weakly compactly generated but all its subspaces of density $ω_{1}$ are weakly compactly generated. We also prove that under Martin's axiom countable functional tightness does not reflect in small continuous images of compacta.
In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E \in L(\mathbb{R})$ on $\mathbb{R}$ with all $\mathbfΔ_1^1$ classes and every $σ$-ideal $I$ on $\mathbb{R}$ so that the associated forcing $\mathbb{P}_I$ of $I^+$ $\mathbfΔ_1^1$ subsets is proper, there exists some $I^+$ $\mathbfΔ_1^1$ set $C$ so that $E \upharpoonright C$ is a $\mathbfΔ_1^1$ equivalence relation. In $\mathsf{ZF} + \mathsf{DC} + \mathsf{AD}_\mathbb{R} + V = L(\mathscr{P}(\mathbb{R}))$, for every equivalence relation $E$ on $\mathbb{R}$ with all $\mathbfΔ_1^1$ classes and every $σ$-ideal $I$ on $\mathbb{R}$ so that the associated forcing $\mathbb{P}_I$ is proper, there is some $I^+$ $\mathbfΔ_1^1$ set $C$ so that $E \upharpoonright C$ is a $\mathbfΔ_1^1$ equivalence relation.
Given a cardinal $κ$ that is $λ$-supercompact for some regular cardinal $λ\geqκ$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[κ,λ]\cap\REG\to\CARD$ satisfying $\forallα,β\in\dom(F)$ $α<\cf(F(α))$ and $α<β$ $\implies$ $F(α)\leq F(β)$, while preserving the $λ$-supercompactness of $κ$ from a hypothesis that is of the weakest possible consistency strength, namely, from the hypothesis that there is an elementary embedding $j:V\to M$ with critical point $κ$ such that $M^λ\subseteq M$ and $j(κ)>F(λ)$. Our argument extends Woodin's technique of surgically modifying a generic filter to a new case: Woodin's key lemma applies when modifications are done on the range of $j$, whereas our argument uses a new key lemma to handle modifications done off of the range of $j$ on the ghost coordinates. This work answers a question of Friedman and Honzik [FH2012]. We also discuss several related open questions.
In 1982 I. Pitowsky used Continuum Hypothesis to construct hidden variable models for spin-1/2 and spin-1 particles in quantum mechanics. We show that the existence of Pitowsky models is independent from ZFC.