Source author record

Sean Cox

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.AC math.CT math.GR math.RA math.RT

Catalog footprint

Research overview

10works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Forcing axioms and the complexity of non-stationary ideals

We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $ω_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on $ω_2$ to sets of ordinals of countable cofinality is $Δ_1$ -definable by formulas with parameters in $H(ω_3)$ . The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on $ω_2$ and strong forcing axioms that are compatible with CH. Finally, we answer a question of S. Friedman, Wu and Zdomskyyshow by showing that the $Δ_1$ -definability of the non-stationary ideal on $ω_2$ is compatible with arbitrary large values of the continuum function at $ω_2$ .

preprint2022arXiv

How robustly can you predict the future?

Hardin and Taylor \cite{MR2384262} proved that any function on the reals -- even a nowhere continuous one -- can be correctly predicted, based solely on its past behavior, at almost every point in time. They showed in \cite{MR3100500} that one could even arrange for the predictors to be robust with respect to simple time shifts, and asked whether they could be robust with respect to other, more complicated time distortions. This question was partially answered by Bajpai and Velleman \cite{MR3552748}, who provided upper and lower frontiers (in the subgroup lattice of $\text{Homeo}^+(\mathbb{R})$ ) on how robust a predictor can possibly be. We improve both frontiers, some of which reduce ultimately to consequences of Hölder's Theorem (that every Archimedean group is abelian).

preprint2022arXiv

Salce's problem on cotorsion pairs is undecidable

Salce \cite{MR565595} introduced the notion of a \emph{cotorsion pair} of classes of abelian groups, and asked whether every such pair is \emph{complete} (i.e., has enough injectives and projectives). We prove that it is consistent, relative to the consistency of Vopěnka's Principle (VP), that the answer is affirmative. Combined with a previous result of Eklof-Shelah \cite{MR2031314}, this shows that Salce's Problem is independent of the ZFC axioms (modulo the consistency of VP).

preprint2020arXiv

Adjoining only the things you want: a survey of Strong Chang's Conjecture and related topics

We survey some old and new results on strong variants of Chang's Conjecture and related topics.

preprint2020arXiv

The $Π^1_1 \! \! \downarrow$ Löwenheim-Skolem-Tarski property of Stationary Logic

Fuchino-Maschio-Sakai~\cite{FuchinoEtAl_DRP_LST} proved that the Löwenheim-Skolem-Tarski (LST) property of Stationary Logic is equivalent to the Diagonal Reflection Principle on internally club sets ( $\text{DRP}_{\text{IC}}$ ) introduced in \cite{DRP}. We prove that the restriction of the LST property to (downward) reflection of $Π^1_1$ formulas, which we call the $Π^1_1 \! \! \downarrow$ -LST property, is equivalent to the \emph{internal} version of DRP from \cite{Cox_RP_IS}. Combined with results from \cite{Cox_RP_IS}, this shows that the $Π^1_1 \! \! \downarrow$ -LST Property for Stationary Logic is strictly weaker than the full LST Property for Stationary Logic, though if CH holds they are equivalent.

preprint2016arXiv

Characterizing large cardinals in terms of layered posets

Given an uncountable regular cardinal $κ$ , a partial order is $κ$ -stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $κ$ is stationary in $\mathcal{P}_κ(\mathbb{P})$ . We show that weak compactness can be characterized by this property of partial orders by proving that an uncountable regular cardinal $κ$ is weakly compact if and only if every partial order satisfying the $κ$ -chain condition is $κ$ -stationarily layered. We prove a similar result for strongly inaccessible cardinals. Moreover, we show that the statement that all $κ$ -Knaster partial orders are $κ$ -stationarily layered implies that $κ$ is a Mahlo cardinal and every stationary subset of $κ$ reflects. This shows that this statement characterizes weak compactness in canonical inner models. In contrast, we show that it is also consistent that this statement holds at a non-weakly compact cardinal.

preprint2016arXiv

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.

preprint2015arXiv

Indestructibility of generically strong cardinals

Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $ω_1$ is preserved by any proper forcing. We generalize portions of Foreman's Duality Theorem to the context of generic extender embeddings and ideal extenders (as introduced by Claverie in his PhD Thesis, Universitat Munster, 2010). As an application we prove that if $ω_1$ is generically strong, then it remains so after adding any number of Cohen subsets of $ω_1$ ; however many other $ω_1$ -closed posets---such as $\text{Col}(ω_1, ω_2)$ ---can destroy the generic strength of $ω_1$ . This generalizes some results of Gitik-Shelah about indestructibility of strong cardinals to the generically strong context. We also prove similar theorems for successor cardinals larger than $ω_1$ .

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.

preprint2011arXiv

Martin's Maximum and tower forcing

There are several examples in the literature showing that compactness-like properties of a cardinal $κ$ cause poor behavior of some generic ultrapowers which have critical point $κ$ (Burke \cite{MR1472122} when $κ$ is a supercompact cardinal; Foreman-Magidor \cite{MR1359154} when $κ= ω_2$ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection Principle (RP) implies that if $\vec{\mathcal{I}}$ is a tower of ideals which concentrates on the class $GIC_{ω_1}$ of $ω_1$ -guessing, internally club sets, then $\vec{\mathcal{I}}$ is not presaturated (a set is $ω_1$ -guessing iff its transitive collapse has the $ω_1$ -approximation property as defined in Hamkins \cite{MR2540935}). This theorem, combined with work from \cite{VW_ISP}, shows that if $PFA^+$ or $MM$ holds and there is an inaccessible cardinal, then there is a tower with critical point $ω_2$ which is not presaturated; moreover this tower is significantly different from the non-presaturated tower already known (by Foreman-Magidor \cite{MR1359154}) to exist in all models of Martin's Maximum. The conjunction of the Strong Reflection Principle (SRP) and the Tree Property at $ω_2$ has similar implications for towers of ideals which concentrate on the wider class $GIS_{ω_1}$ of $ω_1$ -guessing, internally stationary sets. Finally, we show that the word "presaturated" cannot be replaced by "precipitous" in the theorems above: Martin's Maximum (which implies SRP and the Tree Property at $ω_2$ ) is consistent with a precipitous tower on $GIC_{ω_1}$ .

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.

Sean Cox

Research overview

Is this your work?

10 publications

Forcing axioms and the complexity of non-stationary ideals

How robustly can you predict the future?

Salce's problem on cotorsion pairs is undecidable

Adjoining only the things you want: a survey of Strong Chang's Conjecture and related topics

The $Π^1_1 \! \! \downarrow$ Löwenheim-Skolem-Tarski property of Stationary Logic

Characterizing large cardinals in terms of layered posets

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

Indestructibility of generically strong cardinals

Quotients of Strongly Proper Forcings and Guessing Models

Martin's Maximum and tower forcing

See the researcher in context

Building this map preview

Sean Cox

Research overview

Is this your work?

10 publications

Forcing axioms and the complexity of non-stationary ideals

How robustly can you predict the future?

Salce's problem on cotorsion pairs is undecidable

Adjoining only the things you want: a survey of Strong Chang's Conjecture and related topics

The Π11 ⁣ ⁣↓Π^1_1 \! \! \downarrowΠ11​↓ Löwenheim-Skolem-Tarski property of Stationary Logic

Characterizing large cardinals in terms of layered posets

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

Indestructibility of generically strong cardinals

Quotients of Strongly Proper Forcings and Guessing Models

Martin's Maximum and tower forcing

See the researcher in context

Building this map preview

The $Π^1_1 \! \! \downarrow$ Löwenheim-Skolem-Tarski property of Stationary Logic