Elementary chains and C ^(n)-cardinals

From MaRDI portal
Publication:2436618





\(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.











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

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