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

Brent Cody

Brent Cody contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
2topics
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

6 published item(s)

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.

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

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

0 citations0 reviewsNo code linkedOpen access
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&#39;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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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&#39;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&#39;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<ω$.

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

0 citations0 reviewsNo code linkedOpen access