Source author record

Chris Lambie-Hanson

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

ResearcherUnclaimed source record

math.LO math.CO math.AT

Catalog footprint

Research overview

18works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Higher walks and squares

We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimensional $C$ -sequences that entail coherence of the resultant higher rho-functions. We also introduce various higher square principles by adding non-triviality conditions to these coherent higher $C$ -sequences and investigate basic properties of said square principles. For example, in analogy with the classical case, we prove that these higher square principles abound in the constructible universe but can be forced to fail, modulo large cardinals. Finally, we prove that certain higher rho-functions obtained by walking along higher square sequences exhibit non-triviality in addition to coherence. In particular, it follows that higher square principles on a cardinal $λ$ entail certain non-vanishing Čech cohomology groups for $λ$ considered with the order topology.

preprint2026arXiv

Preservation of some topological properties under forcing

We add to the theory of preservation of topological properties under forcing. In particular, we answer a question of Gilton and Holshouser in a strong sense, showing that if player II has a winning strategy in the strong countable fan tightness game of a space at a point, then this continues to hold in every set forcing extension of the universe. The same is also true for the Rothberger game, but not for the countable fan tightness or Menger games.

preprint2022arXiv

A note on highly connected and well-connected Ramsey theory

We study a pair of weakenings of the classical partition relation $ν\rightarrow (μ)^2_λ$ recently introduced by Bergfalk-Hrušák-Shelah and Bergfalk, respectively. Given an edge-coloring of the complete graph on $ν$ -many vertices, these weakenings assert the existence of monochromatic subgraphs exhibiting high degrees of connectedness rather than the existence of complete monochromatic subgraphs asserted by the classical relations. As a result, versions of these weakenings can consistently hold at accessible cardinals where their classical analogues would necessarily fail. We prove some complementary positive and negative results indicating the effect of large cardinals, forcing axioms, and square principles on these partition relations. We also prove a consistency result indicating that a non-trivial instance of the stronger of these two partition relations can hold at the continuum.

preprint2022arXiv

Higher-dimensional Delta-systems

We investigate higher-dimensional $Δ$ -systems indexed by finite sets of ordinals, isolating a particular definition thereof and proving a higher-dimensional version of the classical $Δ$ -system lemma. We focus in particular on systems that consist of sets of ordinals, in which case useful order-theoretic uniformities can be ensured. We then present three applications of these higher-dimensional $Δ$ -systems to problems involving the interplay between forcing and partition relations on the reals.

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.

preprint2022arXiv

Polish space partition principles and the Halpern-Läuchli theorem

The Halpern-Läuchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles about products of perfect Polish spaces. These principles yield straightforward proofs of the Halpern-Läuchli theorem, and the same forcing from Harrington's proof can force their consistency. We also show that these principles are not ZFC theorems by showing that they put lower bounds on the size of the continuum.

preprint2021arXiv

Simutaneously vanishing higher derived limits without large cardinals

A question dating to Sibe Mardešić and Andrei Prasolov's 1988 work Strong homology is not additive, and motivating a considerable amount of set theoretic work in the ensuing years, is that of whether it is consistent with the ZFC axioms for the higher derived limits $\mathrm{lim}^n$ $(n>0)$ of a certain inverse system $\mathbf{A}$ indexed by ${^ω}ω$ to simultaneously vanish. An equivalent formulation of this question is that of whether it is consistent for all $n$ -coherent families of functions indexed by ${^ω}ω$ to be trivial. In this paper, we prove that, in any forcing extension given by adjoining $\beth_ω$ -many Cohen reals, $\mathrm{lim}^n \mathbf{A}$ vanishes for all $n > 0$ . Our proof involves a detailed combinatorial analysis of the forcing extension and repeated applications of higher dimensional $Δ$ -system lemmas. This work removes all large cardinal hypotheses from the main result of arXiv:1907.11744 and substantially reduces the least value of the continuum known to be compatible with the simultaneous vanishing of $\mathrm{lim}^n \mathbf{A}$ for all $n > 0$ .

preprint2020arXiv

Diagonal supercompact Radin forcing

Motivated by the goal of constructing a model in which there are no $κ$ -Aronszajn trees for any regular $κ>\aleph_1$ , we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square fail.

preprint2020arXiv

Disjoint type graphs with no short odd cycles

In this note, we provide a proof of a technical result of Erdős and Hajnal about the existence of disjoint type graphs with no odd cycles. We also prove that this result is sharp in a certain sense.

preprint2020arXiv

Extremal triangle-free and odd-cycle-free colourings of uncountable graphs

The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring. We begin by introducing the notion of $Δ$ -regressive and almost $Δ$ -regressive colourings and studying the structures that must appear as monochromatic subgraphs for such colourings. We also consider the question as to whether $Δ_κ$ has the minimal cardinality of any \emph{maximal} triangle-free or odd-cycle-free colouring into $κ$ . We resolve the question positively for odd-cycle-free colourings.

preprint2020arXiv

Forcing a $\square(κ)$ -like principle to hold at a weakly compact cardinal

Hellsten \cite{MR2026390} proved that when $κ$ is $Π^1_n$ -indescribable, the \emph{ $n$ -club} subsets of $κ$ provide a filter base for the $Π^1_n$ -indescribability ideal, and hence can also be used to give a characterization of $Π^1_n$ -indescribable sets which resembles the definition of stationarity: a set $S\subseteqκ$ is $Π^1_n$ -indescribable if and only if $S\cap C\neq\emptyset$ for every $n$ -club $C\subseteqκ$ . By replacing clubs with $n$ -clubs in the definition of $\Box(κ)$ , one obtains a $\Box(κ)$ -like principle $\Box_n(κ)$ , a version of which was first considered by Brickhill and Welch \cite{BrickhillWelch}. The principle $\Box_n(κ)$ is consistent with the $Π^1_n$ -indescribability of $κ$ but inconsistent with the $Π^1_{n+1}$ -indescribability of $κ$ . By generalizing the standard forcing to add a $\Box(κ)$ -sequence, we show that if $κ$ is $κ^+$ -weakly compact and $\mathrm{GCH}$ holds then there is a cofinality-preserving forcing extension in which $κ$ remains $κ^+$ -weakly compact and $\Box_1(κ)$ holds. If $κ$ is $Π^1_2$ -indescribable and $\mathrm{GCH}$ holds then there is a cofinality-preserving forcing extension in which $κ$ is $κ^+$ -weakly compact, $\Box_1(κ)$ holds and every weakly compact subset of $κ$ has a weakly compact proper initial segment. As an application, we prove that, relative to a $Π^1_2$ -indescribable cardinal, it is consistent that $κ$ is $κ^+$ -weakly compact, every weakly compact subset of $κ$ has a weakly compact proper initial segment, and there exist two weakly compact subsets $S^0$ and $S^1$ of $κ$ such that there is no $β<κ$ for which both $S^0\capβ$ and $S^1\capβ$ are weakly compact.

preprint2016arXiv

Aronszajn trees, square principles, and stationary reflection

We investigate questions involving Aronszajn trees, square principles, and stationary reflection. We first consider two strengthenings of $\square(κ)$ introduced by Brodsky and Rinot for the purpose of constructing $κ$ -Souslin trees. Answering a question of Rinot, we prove that the weaker of these strengthenings is compatible with stationary reflection at $κ$ but the stronger is not. We then prove that, if $μ$ is a singular cardinal, $\square_μ$ implies the existence of a special $μ^+$ -tree with a $\mathrm{cf}(μ)$ -ascent path, thus answering a question of Lücke.

preprint2016arXiv

Covering properties and square principles

Covering matrices were introduced by Viale in his proof that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. In the course of his work and in subsequent work with Sharon, he isolated two reflection principles, $\mathrm{CP}$ and $\mathrm{S}$ , which may hold of covering matrices. In this paper, we continue previous work of the author investigating connections between failures of $\mathrm{CP}$ and $\mathrm{S}$ and variations on Jensen's square principle. We prove that, for a regular cardinal $λ> ω_1$ , assuming large cardinals, $\square(λ, 2)$ is consistent with $\mathrm{CP}(λ, θ)$ for all $θ$ with $θ^+ < λ$ . We demonstrate how to force nice $θ$ -covering matrices for $λ$ which fail to satisfy $\mathrm{CP}$ and $\mathrm{S}$ . We investigate normal covering matrices, showing that, for a regular uncountable $κ$ , $\square_κ$ implies the existence of a normal $ω$ -covering matrix for $κ^+$ but that cardinal arithmetic imposes limits on the existence of a normal $θ$ -covering matrix for $κ^+$ when $θ$ is uncountable. We also investigate certain increasing sequences of functions which arise from covering matrices and from PCF-theoretic considerations and show that a stationary reflection hypothesis places limits on the behavior of these sequences.

preprint2015arXiv

Bounded stationary reflection II

Bounded stationary reflection at a cardinal $λ$ is the assertion that every stationary subset of $λ$ reflects but there is a stationary subset of $λ$ that does not reflect at arbitrarily high cofinalities. We produce a variety of models in which bounded stationary reflection holds. These include models in which bounded stationary reflection holds at the successor of every singular cardinal $μ> \aleph_ω$ and models in which bounded stationary reflection holds at $μ^+$ but the approachability property fails at $μ$ .

preprint2015arXiv

Robust reflection principles

A cardinal $λ$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < λ$ , $λ$ satisfies P in $V^{\mathbb{Q}}$ . We study the extent to which certain reflection properties of large cardinals can be satisfied robustly by small cardinals. We focus in particular on stationary reflection and the tree property, both of which can consistently hold but fail to be robust at small cardinals. We introduce natural strengthenings of these principles which are always robust and which hold at sufficiently large cardinals, consider the extent to which these strengthenings are in fact stronger than the original principles, and investigate the possibility of these strengthenings holding at small cardinals, particularly at successors of singular cardinals.

preprint2015arXiv

The Hanf number for amalgamation of coloring classes

We study amalgamation properties in a family of abstract elementary classes that we call coloring classes. The family includes the examples previously studied in previous work of Baldwin, Kolesnikov, and Shelah. We establish that the amalgamation property is equivalent to the disjoint amalgamation property in all coloring classes; find the Hanf number for the amalgamation property for coloring classes; and improve the results of Baldwin, Kolesnikov, and Shelah by showing, in ZFC, that the (disjoint) amalgamation property for classes $K_α$ studied in that paper must hold up to $\beth_α$ (only a consistency result was previously known).

preprint2014arXiv

Good and bad points in scales

We address three questions raised by Cummings and Foreman regarding a model of Gitik and Sharon. We first analyze the PCF-theoretic structure of the Gitik-Sharon model, determining the extent of good and bad scales. We then classify the bad points of the bad scales existing in both the Gitik-Sharon model and other models containing bad scales. Finally, we investigate the ideal of subsets of singular cardinals of countable cofinality carrying good scales.

preprint2013arXiv

Squares and Covering Matrices

Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof amd subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between $\square_κ$ and $\square(κ^+)$ for a regular cardinal $κ$ . We provide a detailed picture of the implications between these square principles.

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.

Chris Lambie-Hanson

Research overview

Is this your work?

18 publications

Higher walks and squares

Preservation of some topological properties under forcing

A note on highly connected and well-connected Ramsey theory

Higher-dimensional Delta-systems

Indestructibility of some compactness principles over models of PFA

Polish space partition principles and the Halpern-Läuchli theorem

Simutaneously vanishing higher derived limits without large cardinals

Diagonal supercompact Radin forcing

Disjoint type graphs with no short odd cycles

Extremal triangle-free and odd-cycle-free colourings of uncountable graphs

Forcing a $\square(κ)$ -like principle to hold at a weakly compact cardinal

Aronszajn trees, square principles, and stationary reflection

Covering properties and square principles

Bounded stationary reflection II

Robust reflection principles

The Hanf number for amalgamation of coloring classes

Good and bad points in scales

Squares and Covering Matrices

See the researcher in context

Building this map preview

Chris Lambie-Hanson

Research overview

Is this your work?

18 publications

Higher walks and squares

Preservation of some topological properties under forcing

A note on highly connected and well-connected Ramsey theory

Higher-dimensional Delta-systems

Indestructibility of some compactness principles over models of PFA

Polish space partition principles and the Halpern-Läuchli theorem

Simutaneously vanishing higher derived limits without large cardinals

Diagonal supercompact Radin forcing

Disjoint type graphs with no short odd cycles

Extremal triangle-free and odd-cycle-free colourings of uncountable graphs

Forcing a □(κ)\square(κ)□(κ)-like principle to hold at a weakly compact cardinal

Aronszajn trees, square principles, and stationary reflection

Covering properties and square principles

Bounded stationary reflection II

Robust reflection principles

The Hanf number for amalgamation of coloring classes

Good and bad points in scales

Squares and Covering Matrices

See the researcher in context

Building this map preview

Forcing a $\square(κ)$ -like principle to hold at a weakly compact cardinal