Source author record

John Krueger

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

7works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A forcing axiom for a non-special Aronszajn tree

Suppose that $T^*$ is an $ω_1$ -Aronszajn tree with no stationary antichain. We introduce a forcing axiom PFA( $T^*$ ) for proper forcings which preserve these properties of $T^*$ . We prove that PFA( $T^*$ ) implies many of the strong consequences of PFA, such as the failure of very weak club guessing, that all of the cardinal characteristics of the continuum are greater than $ω_1$ , and the $P$ -ideal dichotomy. On the other hand, PFA( $T^*$ ) implies some of the consequences of diamond principles, such as the existence of Knaster forcings which are not stationarily Knaster.

preprint2020arXiv

Entangledness in Suslin lines and trees

We introduce the idea of a weakly entangled linear order, and show that it is consistent for a Suslin line to be weakly entangled. We generalize the notion of entangled linear orders to $ω_1$ -trees, and prove that an $ω_1$ -tree is entangled iff it is free. We force the existence of a Suslin tree which is $n$ -entangled, but all of whose derived trees of dimension $n+1$ are special, for any positive $n < ω$ .

preprint2016arXiv

Forcing with Adequate Sets of Models as Side Conditions

We present a general framework for forcing on $ω_2$ with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial segment. We give several examples of this type of forcing, including adding a function on $ω_2$ , adding a nonreflecting stationary subset of $ω_2 \cap \textrm{cof}(ω)$ , and adding an $ω_1$ -Kurepa tree.

preprint2016arXiv

Mitchell's Theorem Revisited

Mitchell's theorem on the approachability ideal states that it is consistent relative to a greatly Mahlo cardinal that there is no stationary subset of $ω_2 \cap \mathrm{cof}(ω_1)$ in the approachability ideal $I[ω_2]$ . In this paper we give a new proof of Mitchell's theorem, deriving it from an abstract framework of side condition methods.

preprint2015arXiv

Quotients of Strongly Proper Forcings and Guessing Models

We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple universal strongly generic conditions on a stationary set of models by certain nice regular suborders satisfy the $ω_1$ -approximation property. We prove that the existence of stationarily many $ω_1$ -guessing models in $P_{ω_2}(H(θ))$ , for sufficiently large cardinals $θ$ , is consistent with the continuum being arbitrarily large, solving a problem of Viale and Weiss.

preprint2014arXiv

Coherent Adequate Forcing and Preserving CH

We develop a general framework for forcing with coherent adequate sets on $H(λ)$ as side conditions, where $λ\ge ω_2$ is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent adequate type forcings. The main theorem of the paper is that any coherent adequate type forcing preserves CH. We show that there exists a forcing poset for adding a club subset of $ω_2$ with finite conditions while preserving CH, solving a problem of Friedman.

preprint2014arXiv

Coherent Adequate Sets and Forcing Square

We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on $ω_2$ using finite conditions.

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.