Cardinal elementary extensions

From MaRDI portal





\(N\) is said to extend \(M\) (\(M,N\not =\emptyset\)) if and only if for every structure \({\mathcal M}=(M,\varepsilon, A_1,\ldots, A_n)\) there are \(B_1,\ldots, B_n\) such that \(\mathcal N=(N,\varepsilon,B_1,\ldots,B_n)\) is an elementary extension of \(\mathcal M\). The author determines the consistency strength of ``\(\kappa^{+}\) extends \(\kappa\) and ``\(\kappa^{++}\) extends \(\kappa\).











This page was built for publication: Cardinal elementary extensions

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