Pure $\Sigma_2$-Elementarity beyond the Core
From MaRDI portal
Publication:6292183
DOI10.1016/J.APAL.2021.103001arXiv1710.01870MaRDI QIDQ6292183
Publication date: 4 October 2017
Abstract: We display the entire structure coding - and -elementarity on the ordinals. This will enable the analysis of pure -elementary substructures.
Consistency and independence results (03E35) Model theory of finite structures (03C13) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)
This page was built for publication: Pure $\Sigma_2$-Elementarity beyond the Core
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6292183)