Source author record

Radek Honzik

Radek Honzik appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO

Catalog footprint

What is connected

3works

1topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Indestructibility of some compactness principles over models of PFA

We show that $\mathsf{PFA}$ (Proper Forcing Axiom) implies that adding any number of Cohen subsets of $ω$ will not add an $ω_2$-Aronszajn tree or a weak $ω_1$-Kurepa tree, and moreover no $σ$-centered forcing can add a weak $ω_1$-Kurepa tree (a tree of height and size $ω_1$ with at least $ω_2$ cofinal branches). This partially answers an open problem whether ccc forcings can add $ω_2$-Aronszajn or $ω_1$-Kurepa trees. We actually prove more: We show that a consequence of $\mathsf{PFA}$, namely the guessing model principle, $\mathsf{GMP}$, which is equivalent to the ineffable slender tree property, $\mathsf{ISP}$, is preserved by adding any number of Cohen subsets of $ω$. And moreover, $\mathsf{GMP}$ implies that no $σ$-centered forcing can add a weak $ω_1$-Kurepa tree. For more generality, we study the principle $\mathsf{GMP}$ at an arbitrary regular cardinal $κ= κ^{<κ}$ (we denote this principle $\mathsf{GMP}_{κ^{++}}$), and as an application we show that there is a model in which there are no weak $\aleph_{ω+1}$-Kurepa trees and no $\aleph_{ω+2}$-Aronszajn trees.

preprint2019arXiv

Indestructibility of the tree property

In the first part of the paper, we show that if $ω\le κ< λ$ are cardinals, $κ^{<κ} = κ$, and $λ$ is weakly compact, then in $V[\M(κ,λ)]$ the tree property at $λ= κ^{++V[\M(κ,λ)]}$ is indestructible under all $κ^+$-cc forcing notions which live in $V[\Add(κ,λ)]$, where $\Add(κ,λ)$ is the Cohen forcing for adding $λ$-many subsets of $κ$ and $\M(κ,λ)$ is the standard Mitchell forcing for obtaining the tree property at $λ= (κ^{++})^{V[\M(κ,λ)]}$. This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that $λ$ is supercompact and generalize the construction and obtain a model $V^*$, a generic extension of $V$, in which the tree property at $(κ^{++})^{V^*}$ is indestructible under all $κ^+$-cc forcing notions living in $V[\Add(κ,λ)]$, and in addition by all forcing notions living in $V^*$ which are $κ^+$-closed and ``liftable'' in a prescribed sense (such as $κ^{++}$-directed closed forcings or well-met forcings which are $κ^{++}$-closed with the greatest lower bounds).

preprint2013arXiv

Easton functions and supercompactness

Suppose $κ$ is $λ$-supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $κ$, and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton's theorem: (1) $\forallα$ $α<\textrm{cf}(F(α))$ and (2) $α<β$ $\Longrightarrow$ $F(α)\leq F(β)$. In this article we address the question: assuming GCH, what additional assumptions are necessary on $j$ and $F$ if one wants to be able to force the continuum function to agree with $F$ globally, while preserving the $λ$-supercompactness of $κ$? We show that, assuming GCH, if $F$ is any function as above, and in addition for some regular cardinal $λ>κ$ there is an elementary embedding $j:V\rightarrow M$ with critical point $κ$ such that $κ$ is closed under $F$, the model $M$ is closed under $λ$-sequences, $H(F(λ))\subseteq M$, and for each regular cardinal $γ\leq λ$ one has $(|j(F)(γ)|=F(γ))^V$, then there is a cardinal-preserving forcing extension in which $2^δ=F(δ)$ for every regular cardinal $δ$ and $κ$ remains $λ$-supercompact. This answers a question of B. Cody, M. Magidor, On supercompactness and the continuum function, Ann. Pure Appl. Logic, (2013).