BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jakob Kellner

Jakob Kellner 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

13works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

preprint2020arXiv

Cichoń's maximum without large cardinals

Cichoń's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $σ$-compact subsets of the irrationals. It is consistent that all entries of Cichoń's diagram are pairwise different (apart from $\textrm{add}(\mathcal{M})$ and $\textrm{cof}(\mathcal{M})$, which are provably equal to other entries). However, the consistency proofs so far required large cardinal assumptions. In this work, we show the consistency without such assumptions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Controlling classical cardinal characteristics while collapsing cardinals

Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $λ>κ$ to $κ$) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$, $\mathfrak p$ and $\mathfrak h$ and also keeping all the values in Cichoń's diagram distint, using the Boolean Ultrapower method of arXiv:1708.03691 . (In arXiv:2006.09826 , the same was done for the newer Cichoń's Maximum construction, which avoids large cardinals.)

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Another ordering of the ten cardinal characteristics in Cichoń's diagram

It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four strongly compact cardinals, it is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) <\mathrm{add}(\mathrm{Meager})=\mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) < \mathrm{non}(\mathrm{Null}) < \mathrm{cof}(\mathrm{Meager})= \mathfrak{d} < \mathrm{cof}(\mathrm{Null}) < 2^{\aleph_0}. \]

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Creature forcing and large continuum: The joy of halving

For $f,g\inω^ω$ let $c^\forall_{f,g}$ be the minimal number of uniform $g$-splitting trees needed to cover the uniform $f$-splitting tree, i.e., for every branch $ν$ of the $f$-tree, one of the $g$-trees contains $ν$. Let $c^\exists_{f,g}$ be the dual notion: For every branch $ν$, one of the $g$-trees guesses $ν(m)$ infinitely often. We show that it is consistent that $c^\exists_{f_ε,g_ε}=c^\forall_{f_ε,g_ε}=κ_ε$ for continuum many pairwise different cardinals $κ_ε$ and suitable pairs $(f_ε,g_ε)$. For the proof we introduce a new mixed-limit creature forcing construction.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Decisive creatures and large continuum

For $f,g\inω\ho$ let $\mycfa_{f,g}$ be the minimal number of uniform $g$-splitting trees needed to cover the uniform $f$-splitting tree, i.e. for every branch $ν$ of the $f$-tree, one of the $g$-trees contains $ν$. $\myc_{f,g}$ is the dual notion: For every branch $ν$, one of the $g$-trees guesses $ν(m)$ infinitely often. It is consistent that $\myc_{f_ε,g_ε}=\mycfa_{f_ε,g_ε}=κ_ε$ for $\al1$ many pairwise different cardinals $κ_ε$ and suitable pairs $(f_ε,g_ε)$. For the proof we use creatures with sufficient bigness and halving. We show that the lim-inf creature forcing satisfies fusion and pure decision. We introduce decisiveness and use it to construct a variant of the countable support iteration of such forcings, which still satisfies fusion and pure decision.

0 citations0 reviewsNo code linkedOpen access