BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Borisa Kuzeljevic 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 show that $\mathrm{MA}_κ$ implies that each collection of ${P}_{\mathfrak c}$-points of size at most $κ$ which has a $P_{\mathfrak c}$-point as an $RK$ upper bound also has a ${P}_{\mathfrak c}$-point as an $RK$ lower bound.
The notion of a $δ$-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each $δ< ω_{2}$, any $δ$-generic sequence of P-points can be extended to an $ω_{2}$-generic sequence. This shows that the Continuum Hypothesis implies that there is a chain of P-points of length ${\mathfrak{c}}^{+}$ with respect to both Rudin-Keisler and Tukey reducibility. The proofs can be easily adapted to get such a chain of length ${\mathfrak{c}}^{+}$ under a more general hypothesis like Martin's Axiom. These results answer an old question of Andreas Blass.
We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_θ$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any antichain in $T$ is not stationary in $ω_1$.