C ^(n)-cardinals

DOI10.1007/S00153-011-0261-8zbMATH Open1250.03108DBLPjournals/aml/Bagaria12arXiv1908.09664OpenAlexW2019751722WikidataQ29035933 ScholiaQ29035933MaRDI QIDQ412056FDOQ412056

Authors: Joan Bagaria 

Publication date: 3 May 2012

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

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.

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Implications between strong large cardinal axioms
• Elementary embeddings and infinitary combinatorics
• Title not available (Why is that?)
• On the role of supercompact and extendible cardinals in logic
• Definable orthogonality classes in accessible categories are small
• Many-times huge and superhuge cardinals
• A Proof of Projective Determinacy

Cited In (35)

• 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
• Title not available (Why is that?)
• LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
• Model theoretic characterizations of large cardinals
• 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
• Definable orthogonality classes in accessible categories are small
• Structural reflection, shrewd cardinals and the size of the continuum
• On resurrection axioms
• Subcomplete forcing principles and definable well-orders
• Weak Vopěnka's principle does not imply Vopěnka's principle
• 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
• Vopěnka's principle in \(\infty\)-categories
• Ultrahuge cardinals
• Title not available (Why is that?)
• Obtaining Woodin's cardinals
• Huge reflection
• On extensions of supercompactness
• AD and patterns of singular cardinals below Θ
• On colimits and elementary embeddings
• IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE
• Reflecting measures

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)