Homogeneously Souslin sets in small inner models

2003/05/19 by Peter Koepke, Koepke, Peter, Ralf Schindler +1
Mathematics · Medicine · #03E35 #03E45 #03E55 #Advanced Topology and Set Theory #Cell Adhesion Molecules Research #FOS: Mathematics #Logic (math.LO) #Mathematical Dynamics and Fractals #math.LO #msc:03E35 #msc:03E45 #msc:03E55

paper · pdf · doi:10.48550/arxiv.math/0305265

10 pages

arxiv created 2003/05/19 · openalex publication_date 2003/05/19 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal.

Related

• The λ-PSP at λ-Π¹₁ sets
• Inner Models from Extended Logics: Part 2
• HOD in inner models with Woodin cardinals
• KWithout the Measurable
• The Ostaszewski square, and homogenous Souslin trees