C ^(n)-cardinals

DOI10.1007/S00153-011-0261-8MaRDI QIDQ412056zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Joan Bagaria

Publication date 3 May 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.09664

zbMATH Keywords

reflectionsupercompact cardinalsextendible cardinals\(C ^{(n)}\)-cardinalsVopenka's principle

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Large cardinals (03E55)

Abstract: For each natural number $n$, let $C^{(n)}$ be the closed and unbounded proper class of ordinals $alpha$ such that $V_{a}lpha$ is a $Sigm{a}_n$ elementary substructure of $V$. We say that $kappa$ is a emph{$C^{(n)}$-cardinal} if it is the critical point of an elementary embedding $j:VoM$, $M$ transitive, with $j(kappa)$ in $C^{(n)}$. By analyzing the notion of $C^{(n)}$-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, $C^{(n)}$-cardinals form a much finer hierarchy. The naturalness of the notion of $C^{(n)}$-cardinal is exemplified by showing that the existence of $C^{(n)}$-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of cite{BCMR}, we give new characterizations of Vopev{n}ka's Principle in terms of $C^{(n)}$-extendible cardinals.

Recommendations

• Elementary chains and \(C ^{(n)}\)-cardinals
• The large cardinals between supercompact and almost-huge
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Virtual large cardinals

Cites work

• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• A Proof of Projective Determinacy
• Definable orthogonality classes in accessible categories are small
• Elementary embeddings and infinitary combinatorics
• Implications between strong large cardinal axioms
• Many-times huge and superhuge cardinals
• On the role of supercompact and extendible cardinals in logic

Cited in

(35)

• Reflecting measures
• Indestructibility of Vopěnka's principle
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Patterns of structural reflection in the large-cardinal hierarchy
• WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
• Virtual large cardinals
• ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
• scientific article; zbMATH DE number 4055912 (Why is no real title available?)
• LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
• Model theoretic characterizations of large cardinals
• Definable orthogonality classes in accessible categories are small
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic
• Structural reflection, shrewd cardinals and the size of the continuum
• On resurrection axioms
• Weak Vopěnka's principle does not imply Vopěnka's principle
• Subcomplete forcing principles and definable well-orders
• The large cardinals between supercompact and almost-huge
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• Double helix in large large cardinals and iteration of elementary embeddings
• Axiom \(\mathcal{A}\) and supercompactness
• Model theoretic characterizations of large cardinals revisited
• Two results on extendible cardinals
• Elementary chains and \(C ^{(n)}\)-cardinals
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• A model of the generic Vopěnka principle in which the ordinals are not Mahlo
• Ultrahuge cardinals
• Vopěnka's principle in \(\infty\)-categories
• scientific article; zbMATH DE number 3859950 (Why is no real title available?)
• Huge reflection
• Obtaining Woodin's cardinals
• On extensions of supercompactness
• AD and patterns of singular cardinals below Θ
• IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE
• On colimits and elementary embeddings

This page was built for publication: \(C ^{(n)}\)-cardinals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412056)