Elementary chains and \(C ^{(n)}\)-cardinals (Q2436618): Difference between revisions

\(C^{(n)}\) denotes the class of all \(\alpha\) such that \(V_{\alpha}\) is a \(\Sigma_n\)-elementary substructure of \(V\). A cardinal \(\kappa\) is a \(C^{(n)}\)-cardinal if it is a critical point of an elementary embedding \(j : V \rightarrow M\), \(M\) transitive, with \(j(\kappa)\) in \(C^{(n)}\). These cardinals were introduced in [\textit{J. Bagaria}, Arch. Math. Logic 51, No. 3--4, 213--240 (2012; Zbl 1250.03108)]. Here, the author continues the investigations of Bagaria. He studies the \(C^{(n)}\)-hierarchies of tall, strong, superstrong, supercompact and extendible cardinals and improves some consistency bounds. Further on, he investigates the \(C^{(n)}\)-Woodin and \(C^{(n)}\) strongly compact cardinals and considers the interaction of \(C^{(n)}\)-cardinals with the forcing constructions.