Source author record

Brent Cody

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

Catalog footprint

Research overview

15works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Metric general position extensions of classical graph invariants

We introduce a two-parameter framework that refines several classical graph invariants by imposing higher-order constraints along bounded-length geodesics. For integers $k,d\ge1$ , a vertex set is called $k,d$ -independent if every shortest path of length at most $d$ contains fewer than $k$ vertices of the set, giving rise to corresponding $k,d$ -independence, chromatic, clique, and domination invariants. We develop a general framework for these parameters by associating each graph with a $k$ -uniform hypergraph that encodes its geodesic structure. We then establish basic bounds and monotonicity properties, and introduce a notion of $k,d$ -perfection extending the classical theory of perfect graphs. Exact formulas are obtained for the $k,d$ -chromatic number of paths and cycles. In particular, all paths are $k,d$ -perfect for all parameters, while cycles admit a complete classification of $k,d$ -perfection that recovers the classical case when $k=2$ and exhibits new periodic and finite-exception behavior for $k\ge3$ . We further investigate the interaction between $k,d$ -invariants and graph powers, showing that while the $k=2$ case reduces to graph powers in a straightforward way, substantially different behavior arises for higher values of $k$ , even for powers of paths.

preprint2022arXiv

Ideal operators and higher indescribability

We investigate properties of the ineffability and the Ramsey operator, and a common generalization of those that was introduced by the second author, with respect to higher indescribability, as introduced by the first author. This extends earlier investigations on the ineffability operator by James Baumgartner, and on the Ramsey operator by Qi Feng, by Philip Welch et al. and by the first author.

preprint2021arXiv

Large cardinal ideals

Building on work of Holy, Lücke and Njegomir \cite{MR3913154} on small embedding characterizations of large cardinals, we use some classical results of Baumgartner (see \cite{MR0384553} and \cite{MR0540770}), to give characterizations of several well-known large cardinal ideals, including the Ramsey ideal, in terms of generic elementary embeddings; we also point out some seemingly inherent differences between small embedding and generic embedding characterizations of subtle cardinals. Additionally, we present a simple and uniform proof which shows that, when $κ$ is weakly compact, many large cardinal ideals on $κ$ are nowhere $κ$ -saturated. Lastly, we survey some recent consistency results concerning the weakly compact ideal as well as some recent results on the subtle, ineffable and $Π^1_1$ -indescribable ideals on $P_κλ$ , and we close with a list of open questions.

preprint2020arXiv

A refinement of the Ramsey hierarchy via indescribability

A subset $S$ of a cardinal $κ$ is Ramsey if for every function $f:[S]^{<ω}\to κ$ with $f(a)<\min a$ for all $a\in[S]^{<ω}$ , there is a set $H\subseteq S$ of cardinality $κ$ which is \emph{homogeneous} for $f$ , meaning that $f\upharpoonright[H]^n$ is constant for each $n<ω$ . Baumgartner proved \cite{MR0384553} that if $κ$ is a Ramsey cardinal, then the collection of non-Ramsey subsets of $κ$ is a normal ideal on $κ$ . Sharpe and Welch \cite{MR2817562}, and independently Bagaria \cite{MR3894041}, extended the notion of $Π^1_n$ -indescribability where $n<ω$ to that of $Π^1_ξ$ -indescribability where $ξ\geqω$ . We study large cardinal properties and ideals which result from Ramseyness properties in which homogeneous sets are demanded to be $Π^1_ξ$ -indescribable. By iterating Feng's Ramsey operator \cite{MR1077260} on the various $Π^1_ξ$ -indescribability ideals, we obtain new large cardinal hierarchies and corresponding nonlinear increasing hierarchies of normal ideals. We provide a complete account of the containment relationships between the resulting ideals and show that the corresponding large cardinal properties yield a strict linear refinement of Feng's original Ramsey hierarchy. We also show that, given any ordinals $β_0,β_1<κ$ the increasing chains of ideals obtained by iterating the Ramsey operator on the $Π^1_{β_0}$ -indescribability ideal and the $Π^1_{β_1}$ -indescribability ideal respectively, are eventually equal; moreover, we identify the least degree of Ramseyness at which this equality occurs. As an application of our results we show that one can characterize our new large cardinal notions and the corresponding ideals in terms of generic elementary embeddings; as a special case this yields generic embedding characterizations of $Π^1_ξ$ -indescribability and Ramseyness.

preprint2020arXiv

Characterizations of the weakly compact ideal on $P_κλ$

Hellsten \cite{MR2026390} gave a characterization of $Π^1_n$ -indescribable subsets of a $Π^1_n$ -indescribable cardinal in terms of a natural filter base: when $κ$ is a $Π^1_n$ -indescribable cardinal, a set $S\subseteqκ$ is $Π^1_n$ -indescribable if and only if $S\cap C\neq\emptyset$ for every $n$ -club $C\subseteq κ$ . We generalize Hellsten's characterization to $Π^1_n$ -indescribable subsets of $P_κλ$ , which were first defined by Baumgartner. After showing that under reasonable assumptions the $Π^1_0$ -indescribability ideal on $P_κλ$ equals the minimal \emph{strongly} normal ideal $\text{NSS}_{κ,λ}$ on $P_κλ$ , and is not equal to $\text{NS}_{κ,λ}$ as may be expected, we formulate a notion of $n$ -club subset of $P_κλ$ and prove that a set $S\subseteq P_κλ$ is $Π^1_n$ -indescribable if and only if $S\cap C\neq\emptyset$ for every $n$ -club $C\subseteq P_κλ$ . We also prove that elementary embeddings considered by Schanker \cite{MR2989393} witnessing \emph{near supercompactness} lead to the definition of a normal ideal on $P_κλ$ , and indeed, this ideal is equal to Baumgartner's ideal of non-- $Π^1_1$ -indescribable subsets of $P_κλ$ . Additionally, as applications of these results we answer a question of Cox-Lücke \cite{MR3620068} about $\mathcal{F}$ -layered posets, provide a characterization of $Π^m_n$ -indescribable subsets of $P_κλ$ in terms of generic elementary embeddings, prove several results involving a two-cardinal weakly compact diamond principle and observe that a result of Pereira \cite{MR3640048} yeilds the consistency of the existence of a $(κ,κ^+)$ -semimorasses $μ\subseteq P_κκ^+$ which is $Π^1_n$ -indescribable for all $n<ω$ .

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.

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

preprint2013arXiv

Easton functions and supercompactness

Suppose $κ$ is $λ$ -supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $κ$ , and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton's theorem: (1) $\forallα$ $α<\textrm{cf}(F(α))$ and (2) $α<β$ $\Longrightarrow$ $F(α)\leq F(β)$ . In this article we address the question: assuming GCH, what additional assumptions are necessary on $j$ and $F$ if one wants to be able to force the continuum function to agree with $F$ globally, while preserving the $λ$ -supercompactness of $κ$ ? We show that, assuming GCH, if $F$ is any function as above, and in addition for some regular cardinal $λ>κ$ there is an elementary embedding $j:V\rightarrow M$ with critical point $κ$ such that $κ$ is closed under $F$ , the model $M$ is closed under $λ$ -sequences, $H(F(λ))\subseteq M$ , and for each regular cardinal $γ\leq λ$ one has $(|j(F)(γ)|=F(γ))^V$ , then there is a cardinal-preserving forcing extension in which $2^δ=F(δ)$ for every regular cardinal $δ$ and $κ$ remains $λ$ -supercompact. This answers a question of B. Cody, M. Magidor, On supercompactness and the continuum function, Ann. Pure Appl. Logic, (2013).

preprint2013arXiv

On supercompactness and the continuum function

Given a cardinal $κ$ that is $λ$ -supercompact for some regular cardinal $λ\geqκ$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[κ,λ]\cap\REG\to\CARD$ satisfying $\forallα,β\in\dom(F)$ $α<\cf(F(α))$ and $α<β$ $\implies$ $F(α)\leq F(β)$ , while preserving the $λ$ -supercompactness of $κ$ from a hypothesis that is of the weakest possible consistency strength, namely, from the hypothesis that there is an elementary embedding $j:V\to M$ with critical point $κ$ such that $M^λ\subseteq M$ and $j(κ)>F(λ)$ . Our argument extends Woodin's technique of surgically modifying a generic filter to a new case: Woodin's key lemma applies when modifications are done on the range of $j$ , whereas our argument uses a new key lemma to handle modifications done off of the range of $j$ on the ghost coordinates. This work answers a question of Friedman and Honzik [FH2012]. We also discuss several related open questions.

preprint2013arXiv

The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $θ$ -supercompact

We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $θ$ -supercompact, for any desired $θ$ . In addition, we prove several global results showing how the entire class of weakly compact cardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals or with the class of nearly $θ_κ$ -supercompact cardinals $κ$ , for nearly any desired function $κ\mapstoθ_κ$ . These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals.

preprint2012arXiv

Consecutive singular cardinals and the continuum function

We show that from a supercompact cardinal κ, there is a forcing extension V[G] that has a symmetric inner model N in which ZF + not AC holds, κ and κ^+ are both singular, and the continuum function at κ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of κ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model of ZF + not AC_ω in which either (1) aleph_1 and aleph_2 are both singular and the continuum function at aleph_1 can be precisely controlled, or (2) aleph_ω and aleph_{ω+1} are both singular and the continuum function at aleph_ω can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals κ and κ^+ in a model of ZF. Some open questions concerning the continuum function in models of ZF with consecutive singular cardinals are posed.

preprint2012arXiv

Easton's Theorem for Ramsey and Strongly Ramsey cardinals

We show that, assuming GCH, if $κ$ is a Ramsey or a strongly Ramsey cardinal and $F$ is a class function on the regular cardinals having a closure point at $κ$ and obeying the constraints of Easton's theorem, namely, $F(α)\leq F(β)$ for $α\leqβ$ and $α<\cf(F(α))$, then there is a cofinality preserving forcing extension in which $κ$ remains Ramsey or strongly Ramsey respectively and $2^δ=F(δ)$ for every regular cardinal $δ$ .

preprint2012arXiv

Easton's Theorem in the presence of Woodin cardinals

Under the assumption that $δ$ is a Woodin cardinal and $\GCH$ holds, I show that if $F$ is any class function from the regular cardinals to the cardinals such that (1) $κ<\cf(F(κ))$, (2) $κ<λ$ implies $F(κ)\leq F(λ)$ , and (3) $δ$ is closed under $F$ , then there is a cofinality-preserving forcing extension in which $2^γ= F(γ)$ for each regular cardinal $γ<δ$ , and in which $δ$ remains Woodin. Unlike the analogous results for supercompact cardinals [Men76] and strong cardinals [FH08], there is no requirement that the function $F$ be locally definable.

preprint2012arXiv

Some results on large cardinals and the continuum function

Given a Woodin cardinal $δ$ , I show that if $F$ is any Easton function with $F"δ\subseteqδ$ and $\GCH$ holds, then there is a cofinality-preserving forcing extension in which $2^γ= F(γ)$ for each regular cardinal $γ<δ$ , and in which $δ$ remains Woodin. I also present a new example in which forcing a certain behavior of the continuum function on the regular cardinals, while preserving a given large cardinal, requires large cardinal strength beyond that of the original large cardinal under consideration. Specifically, I prove that the existence of a $λ$ -supercompact cardinal $κ$ such that $\GCH$ fails at $λ$ is equiconsistent with the existence of a cardinal $κ$ that is $λ$ -supercompact and $λ^{++}$ -tall. I generalize a theorem on measurable cardinals due to Levinski, which says that given a measurable cardinal, there is a forcing extension preserving the measurability of $κ$ in which $κ$ is the least regular cardinal at which $\GCH$ holds. Indeed, I show that Levinski's result can be extended to many other large cardinal contexts. This work paves the way for many additional results, analogous to the results stated above for Woodin cardinals and partially supercompact cardinals.

preprint2012arXiv

The failure of GCH at a degree of supercompactness

We determine the large cardinal consistency strength of the existence of a $λ$ -supercompact cardinal $κ$ such that GCH fails at $λ$ . Indeed, we show that the existence of a $λ$ -supercompact cardinal $κ$ such that $2^λ\geq θ$ is equiconsistent with the existence of a $λ$ -supercompact cardinal that is also $θ$ -tall. We also prove some basic facts about the large cardinal notion of tallness with closure.

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.

Brent Cody

Research overview

Is this your work?

15 publications

Metric general position extensions of classical graph invariants

Ideal operators and higher indescribability

Large cardinal ideals

A refinement of the Ramsey hierarchy via indescribability

Characterizations of the weakly compact ideal on $P_κλ$

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

Indestructibility of generically strong cardinals

Easton functions and supercompactness

On supercompactness and the continuum function

The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $θ$ -supercompact

Consecutive singular cardinals and the continuum function

Easton's Theorem for Ramsey and Strongly Ramsey cardinals

Easton's Theorem in the presence of Woodin cardinals

Some results on large cardinals and the continuum function

The failure of GCH at a degree of supercompactness

See the researcher in context

Building this map preview

Brent Cody

Research overview

Is this your work?

15 publications

Metric general position extensions of classical graph invariants

Ideal operators and higher indescribability

Large cardinal ideals

A refinement of the Ramsey hierarchy via indescribability

Characterizations of the weakly compact ideal on PκλP_κλPκ​λ

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

Indestructibility of generically strong cardinals

Easton functions and supercompactness

On supercompactness and the continuum function

The least weakly compact cardinal can be unfoldable, weakly measurable and nearly θθθ-supercompact

Consecutive singular cardinals and the continuum function

Easton's Theorem for Ramsey and Strongly Ramsey cardinals

Easton's Theorem in the presence of Woodin cardinals

Some results on large cardinals and the continuum function

The failure of GCH at a degree of supercompactness

See the researcher in context

Building this map preview

Characterizations of the weakly compact ideal on $P_κλ$

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

The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $θ$ -supercompact