-
Two-cardinal derived topologies, indescribability and Ramseyness
Authors:
Brent Cody,
Chris Lambie-Hanson,
**g Zhang
Abstract:
We introduce a natural two-cardinal version of Bagaria's sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong st…
▽ More
We introduce a natural two-cardinal version of Bagaria's sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness of these two-cardinal derived topologies can be obtained from certain two-cardinal indescribability hypotheses, which follow from local instances of supercompactness. Additionally, we answer several questions posed by the first author, Peter Holy and Philip White on the relationship between Ramseyness and indescribability in both the cardinal context and in the two-cardinal context.
△ Less
Submitted 13 February, 2024; v1 submitted 30 December, 2023;
originally announced January 2024.
-
Sparse analytic systems
Authors:
Brent Cody,
Sean Cox,
Kayla Lee
Abstract:
Erdős \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is countable for every $x$. We strengthen Erdős' result by proving that CH is equivalent to the existence of what we call \emph{sparse analytic systems} of functions. We…
▽ More
Erdős \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is countable for every $x$. We strengthen Erdős' result by proving that CH is equivalent to the existence of what we call \emph{sparse analytic systems} of functions. We use such systems to construct, assuming CH, an equivalence relation $\sim$ on $\mathbb{R}$ such that any "analytic-anonymous" attempt to predict the map $x \mapsto [x]_\sim$ must fail almost everywhere. This provides a consistently negative answer to a question of Bajpai-Velleman \cite{MR3552748}.
△ Less
Submitted 6 June, 2023; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Two-cardinal ideal operators and indescribability
Authors:
Brent Cody,
Philip White
Abstract:
A well-known version of Rowbottom's theorem for supercompactness ultrafilters leads naturally to notions of two-cardinal Ramseyness and corresponding normal ideals introduced herein. Generalizing results of Baumgartner [7, 8], Feng [22] and the first author [16, 17], we study the hierarchies associated with a particular version of two-cardinal Ramseyness and a strong version of two-cardinal ineffa…
▽ More
A well-known version of Rowbottom's theorem for supercompactness ultrafilters leads naturally to notions of two-cardinal Ramseyness and corresponding normal ideals introduced herein. Generalizing results of Baumgartner [7, 8], Feng [22] and the first author [16, 17], we study the hierarchies associated with a particular version of two-cardinal Ramseyness and a strong version of two-cardinal ineffability, as well as the relationships between these hierarchies and a natural notion of transfinite two-cardinal indescribability.
△ Less
Submitted 17 June, 2024; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Uncertainty-Informed Deep Learning Models Enable High-Confidence Predictions for Digital Histopathology
Authors:
James M Dolezal,
Andrew Srisuwananukorn,
Dmitry Karpeyev,
Siddhi Ramesh,
Sara Kochanny,
Brittany Cody,
Aaron Mansfield,
Sagar Rakshit,
Radhika Bansa,
Melanie Bois,
Aaron O Bungum,
Jefree J Schulte,
Everett E Vokes,
Marina Chiara Garassino,
Aliya N Husain,
Alexander T Pearson
Abstract:
A model's ability to express its own predictive uncertainty is an essential attribute for maintaining clinical user confidence as computational biomarkers are deployed into real-world medical settings. In the domain of cancer digital histopathology, we describe a novel, clinically-oriented approach to uncertainty quantification (UQ) for whole-slide images, estimating uncertainty using dropout and…
▽ More
A model's ability to express its own predictive uncertainty is an essential attribute for maintaining clinical user confidence as computational biomarkers are deployed into real-world medical settings. In the domain of cancer digital histopathology, we describe a novel, clinically-oriented approach to uncertainty quantification (UQ) for whole-slide images, estimating uncertainty using dropout and calculating thresholds on training data to establish cutoffs for low- and high-confidence predictions. We train models to identify lung adenocarcinoma vs. squamous cell carcinoma and show that high-confidence predictions outperform predictions without UQ, in both cross-validation and testing on two large external datasets spanning multiple institutions. Our testing strategy closely approximates real-world application, with predictions generated on unsupervised, unannotated slides using predetermined thresholds. Furthermore, we show that UQ thresholding remains reliable in the setting of domain shift, with accurate high-confidence predictions of adenocarcinoma vs. squamous cell carcinoma for out-of-distribution, non-lung cancer cohorts.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Ideal operators and higher indescribability
Authors:
Brent Cody,
Peter Holy
Abstract:
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.
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.
△ Less
Submitted 4 August, 2022; v1 submitted 4 May, 2021;
originally announced May 2021.
-
Higher indescribability and derived topologies
Authors:
Brent Cody
Abstract:
We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of $L_{κ^+,κ^+}$-indescribability and $Π^1_ξ$-indescribability of a cardinal $κ$ for all $ξ<κ^+$. In this context, universal…
▽ More
We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of $L_{κ^+,κ^+}$-indescribability and $Π^1_ξ$-indescribability of a cardinal $κ$ for all $ξ<κ^+$. In this context, universal $Π^1_ξ$ formulas exist, there is a normal ideal associated to $Π^1_ξ$-indescribability and the notions of $Π^1_ξ$-indescribability yield a strict hierarchy below a measurable cardinal. Additionally, given a regular cardinal $μ$, we introduce a diagonal version of Cantor's derivative operator and use it to extend Bagaria's \cite{MR3894041} sequence $langleτ_ξ:ξ<μ\rangle$ of derived topologies on $μ$ to $\langleτ_ξ:ξ<μ^+\rangle$. Finally, we prove that for all $ξ<μ^+$, if there is a stationary set of $α<μ$ that have a high enough degree of indescribability, then there are stationarily-many $α<μ$ that are nonisolated points in the space $(μ,τ_{ξ+1})$.
△ Less
Submitted 13 October, 2022; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Large cardinal ideals
Authors:
Brent Cody
Abstract:
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 differe…
▽ More
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.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
A refinement of the Ramsey hierarchy via indescribability
Authors:
Brent Cody
Abstract:
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 n…
▽ More
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.
△ Less
Submitted 13 January, 2020; v1 submitted 31 July, 2019;
originally announced July 2019.
-
Forcing a $\square(κ)$-like principle to hold at a weakly compact cardinal
Authors:
Brent Cody,
Victoria Gitman,
Chris Lambie-Hanson
Abstract:
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$-c…
▽ More
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.
△ Less
Submitted 29 January, 2020; v1 submitted 11 February, 2019;
originally announced February 2019.
-
Characterizations of the weakly compact ideal on $P_κλ$
Authors:
Brent Cody
Abstract:
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…
▽ More
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<ω$.
△ Less
Submitted 4 January, 2020; v1 submitted 31 July, 2018;
originally announced July 2018.
-
The weakly compact reflection principle need not imply a high order of weak compactness
Authors:
Brent Cody,
Hiroshi Sakai
Abstract:
The weakly compact reflection principle $\text{Refl}_{\text{wc}}(κ)$ states that $κ$ is a weakly compact cardinal and every weakly compact subset of $κ$ has a weakly compact proper initial segment. The weakly compact reflection principle at $κ$ implies that $κ$ is an $ω$-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that $κ$ is…
▽ More
The weakly compact reflection principle $\text{Refl}_{\text{wc}}(κ)$ states that $κ$ is a weakly compact cardinal and every weakly compact subset of $κ$ has a weakly compact proper initial segment. The weakly compact reflection principle at $κ$ implies that $κ$ is an $ω$-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that $κ$ is $(ω+1)$-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at $κ$ then there is a forcing extension preserving this in which $κ$ is the least $ω$-weakly compact cardinal. Along the way we generalize the well-known result which states that if $κ$ is a regular cardinal then in any forcing extension by $κ$-c.c. forcing the nonstationary ideal equals the ideal generated by the ground model nonstationary ideal; our generalization states that if $κ$ is a weakly compact cardinal then after forcing with a `typical' Easton-support iteration of length $κ$ the weakly compact ideal equals the ideal generated by the ground model weakly compact ideal.
△ Less
Submitted 3 September, 2017; v1 submitted 26 July, 2017;
originally announced July 2017.
-
Adding a non-reflecting weakly compact set
Authors:
Brent Cody
Abstract:
For $n<ω$, we say that the $Π^1_n$-reflection principle holds at $κ$ and write $\text{Refl}_n(κ)$ if and only if $κ$ is a $Π^1_n$-indescribable cardinal and every $Π^1_n$-indescribable subset of $κ$ has a $Π^1_n$-indescribable proper initial segment. The $Π^1_n$-reflection principle $\text{Refl}_n(κ)$ generalizes a certain stationary reflection principle and implies that $κ$ is $Π^1_n$-indescribab…
▽ More
For $n<ω$, we say that the $Π^1_n$-reflection principle holds at $κ$ and write $\text{Refl}_n(κ)$ if and only if $κ$ is a $Π^1_n$-indescribable cardinal and every $Π^1_n$-indescribable subset of $κ$ has a $Π^1_n$-indescribable proper initial segment. The $Π^1_n$-reflection principle $\text{Refl}_n(κ)$ generalizes a certain stationary reflection principle and implies that $κ$ is $Π^1_n$-indescribable of order $ω$. We define a forcing which shows that the converse of this implication can be false in the case $n=1$. Moreover, we prove that if $κ$ is $(α+1)$-weakly compact where $α<κ^+$, then there is a forcing extension in which there is a weakly compact set $W\subseteqκ$ having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and $κ$ remains $(α+1)$-weakly compact. Additionally, we prove a resurrection result for the $Π^1_1$-reflection principle.
△ Less
Submitted 28 April, 2021; v1 submitted 16 January, 2017;
originally announced January 2017.
-
Rigid ideals
Authors:
Brent Cody,
Monroe Eskew
Abstract:
An ideal $I$ on a cardinal $κ$ is called \emph{rigid} if all automorphisms of $P(κ)/I$ are trivial. An ideal is called \emph{$μ$-minimal} if whenever $G\subseteq P(κ)/I$ is generic and $X\in P(μ)^{V[G]}\setminus V$, it follows that $V[X]=V[G]$. We prove that the existence of a rigid saturated $μ$-minimal ideal on $μ^+$, where $μ$ is a regular cardinal, is consistent relative to the existence of la…
▽ More
An ideal $I$ on a cardinal $κ$ is called \emph{rigid} if all automorphisms of $P(κ)/I$ are trivial. An ideal is called \emph{$μ$-minimal} if whenever $G\subseteq P(κ)/I$ is generic and $X\in P(μ)^{V[G]}\setminus V$, it follows that $V[X]=V[G]$. We prove that the existence of a rigid saturated $μ$-minimal ideal on $μ^+$, where $μ$ is a regular cardinal, is consistent relative to the existence of large cardinals. The existence of such an ideal implies that GCH fails. However, we show that the existence of a rigid saturated ideal on $μ^+$, where $μ$ is an \emph{uncountable} regular cardinal, is consistent with GCH relative to the existence of an almost-huge cardinal. Addressing the case $μ=ω$, we show that the existence of a rigid \emph{presaturated} ideal on $ω_1$ is consistent with CH relative to the existence of an almost-huge cardinal. The existence of a \emph{precipitous} rigid ideal on $μ^+$ where $μ$ is an uncountable regular cardinal is equiconsistent with the existence of a measurable cardinal.
△ Less
Submitted 31 January, 2019; v1 submitted 31 May, 2016;
originally announced June 2016.
-
Indestructibility of generically strong cardinals
Authors:
Brent Cody,
Sean Cox
Abstract:
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, Unive…
▽ More
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$.
△ Less
Submitted 3 August, 2015; v1 submitted 25 March, 2014;
originally announced March 2014.
-
Easton functions and supercompactness
Authors:
Brent Cody,
Sy-David Friedman,
Radek Honzik
Abstract:
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: assumi…
▽ More
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).
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
On supercompactness and the continuum function
Authors:
Brent Cody,
Menachem Magidor
Abstract:
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 consistenc…
▽ More
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.
△ Less
Submitted 11 September, 2013; v1 submitted 3 June, 2013;
originally announced June 2013.
-
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $θ$-supercompact
Authors:
Brent Cody,
Moti Gitik,
Joel David Hamkins,
Jason Schanker
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 25 May, 2013;
originally announced May 2013.
-
Some results on large cardinals and the continuum function
Authors:
Brent Cody
Abstract:
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 lar…
▽ More
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.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
Easton's Theorem for Ramsey and Strongly Ramsey cardinals
Authors:
Brent Cody,
Victoria Gitman
Abstract:
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…
▽ More
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 $δ$.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
Easton's Theorem in the presence of Woodin cardinals
Authors:
Brent Cody
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 July, 2012; v1 submitted 24 July, 2012;
originally announced July 2012.
-
Consecutive singular cardinals and the continuum function
Authors:
Arthur W. Apter,
Brent Cody
Abstract:
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 b…
▽ More
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.
△ Less
Submitted 10 September, 2012; v1 submitted 8 December, 2011;
originally announced December 2011.
-
The failure of GCH at a degree of supercompactness
Authors:
Brent Cody
Abstract:
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 clos…
▽ More
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.
△ Less
Submitted 26 July, 2012; v1 submitted 24 October, 2011;
originally announced October 2011.
-
Theory and Application of Dissociative Electron Capture in Molecular Identification
Authors:
C. D. Havey,
Mark Eberhart,
T. Jones,
Kent J. Voorhees,
James A. Laramee,
Robert B. Cody,
Dennis P. Clougherty
Abstract:
The coupling of an electron monochromator (EM) to a mass spectrometer (MS) has created a new analytical technique, EM-MS, for the investigation of electrophilic compounds. This method provides a powerful tool for molecular identification of compounds contained in complex matrices, such as environmental samples. EM-MS expands the application and selectivity of traditional MS through the inclusion…
▽ More
The coupling of an electron monochromator (EM) to a mass spectrometer (MS) has created a new analytical technique, EM-MS, for the investigation of electrophilic compounds. This method provides a powerful tool for molecular identification of compounds contained in complex matrices, such as environmental samples. EM-MS expands the application and selectivity of traditional MS through the inclusion of a new dimension in the space of molecular characteristics--the electron resonance energy spectrum. However, before this tool can realize its full potential, it will be necessary to create a library of resonance energy scans from standards of the molecules for which EM-MS offers a practical means of detection. Here, an approach supplementing direct measurement with chemical inference and quantum scattering theory is presented to demonstrate the feasibility of directly calculating resonance energy spectra. This approach makes use of the symmetry of the transition-matrix element of the captured electron to discriminate between the spectra of isomers. As a way of validating this approach, the resonance values for twenty-five nitrated aromatic compounds were measured along with their relative abundance. Subsequently, the spectra for the isomers of nitrotoluene were shown to be consistent with the symmetry-based model. The initial success of this treatment suggests that it might be possible to predict negative ion resonances and thus create a library of EM-MS standards.
△ Less
Submitted 19 March, 2006;
originally announced March 2006.
