Source author record

Jakob Kellner

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

13works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

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.)

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}.$

preprint2015arXiv

New reals: Can live with them, can live without them

We give a self-contained proof of the preservation theorem for proper countable support iterations known as "tools-preservation," "Case A" or "first preservation theorem" in the literature. We do not assume that the forcings add reals.

preprint2013arXiv

Borel Conjecture and Dual Borel Conjecture

We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.

preprint2011arXiv

An overview of the proof in "Borel Conjecture and Dual Borel Conjecture"

This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.

preprint2011arXiv

Non-elementary proper forcing

We introduce a simplified framework for ord-transitive models and Shelah's non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.

preprint2011arXiv

Saccharinity

We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals measurable with respect to a certain (non-ccc) ideal.

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.

preprint2010arXiv

More on the pressing down game

We investigate the pressing down game and its relation to the Banach Mazur game. In particular we show: Consistently, there is a nowhere precipitous normal ideal $I$ on $\aleph_2$ such that player nonempty wins the pressing down game of length $\aleph_1$ on $I$ even if player empty starts.

preprint2009arXiv

A Sacks Real out of Nowhere

There is a proper countable support iteration of length $ω$ adding no new reals at finite stages and adding a Sacks real in the limit.

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.

preprint2007arXiv

Even more simple cardinal invariants

Using GCH, we force the following: There are continuum many simple cardinal characteristics with pairwise different values.

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.

Jakob Kellner

Research overview

Is this your work?

13 publications

Cichoń's maximum without large cardinals

Controlling classical cardinal characteristics while collapsing cardinals

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

New reals: Can live with them, can live without them

Borel Conjecture and Dual Borel Conjecture

An overview of the proof in "Borel Conjecture and Dual Borel Conjecture"

Non-elementary proper forcing

Saccharinity

Creature forcing and large continuum: The joy of halving

More on the pressing down game

A Sacks Real out of Nowhere

Decisive creatures and large continuum

Even more simple cardinal invariants

See the researcher in context

Building this map preview