4 research outputs found

    Pure Σ2\Sigma_2-Elementarity beyond the Core

    Full text link
    We display the entire structure R2{\cal R}_2 coding Σ1\Sigma_1- and Σ2\Sigma_2-elementarity on the ordinals. This will enable the analysis of pure Σ3\Sigma_3-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

    Investigations on the structural properties of Carlson's <_1-relation

    Get PDF
    corecore