1 research outputs found
Pure -Elementarity beyond the Core
We display the entire structure coding - and
-elementarity on the ordinals. This will enable the analysis of pure
-elementary substructures.Comment: Extensive rewrite of the introduction. Mathematical content of
sections 2 and 3 unchanged, extended introduction to section 2. Removed
section 4. Theorem 4.3 to appear elsewhere with corrected proo