2021/07/27 by Philipp Lücke, Lücke, Philipp
Computer Science · Mathematics · Medicine · #03E05 #03E45 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Neurological and metabolic disorders
paper · pdf · doi:10.48550/arxiv.2107.12722
openalex publication_date 2021/07/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show that the notions of "strongly unfoldable cardinals", introduced by Villaveces in his model-theoretic studies of models of set theory, and "shrewd cardinals", introduced by Rathjen in a proof-theoretic context, coincide. We then proceed by using ideas from the proof of this equivalence to establish the existence of "ordinal anticipating Laver functions" for strong unfoldability. With the help of these functions, we show that the principle \Diamondκ(Reg) holds at every strongly unfoldable cardinal κ with the property that there exists a subset z of κ such that every subset of κ is ordinal definable from z. While a result of Džamonja and Hamkins shows that \Diamondκ(Reg) can consistently fail at a strongly unfoldable cardinal κ, this implication can be used to prove that various canonical extensions of the axioms of ZFC are either compatible with the assumption that \Diamondκ(Reg) holds at every strongly unfoldable cardinal κ or outright imply this statement. Finally, we will also use our methods to contribute to the study of strong chain conditions of partials orders and their productivity.