BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Sean Cox

Sean Cox contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.ACmath.CTmath.GRmath.RAmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

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

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access