Skip to main content
SpringerLink
Log in

Homogeneously Souslin sets in small inner models

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Koepke, P.: Some applications of short core models. Ann. Pure Appl. Logic 37, 179–204 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  2. Koepke, P.: Extenders, embedding normal forms, and the Martin-Steel theorem. J. Symb. Logic 63, 1137–1176 (1998)

    MATH  MathSciNet  Google Scholar 

  3. Martin, D.A.: Measurable cardinals and analytic games. Fund. Math. 66, 287–291 (1970)

    MATH  MathSciNet  Google Scholar 

  4. Martin, D.A., Steel, J.: A proof of projective determinacy. J. Amer. Math. Soc. 2, 71–125 (1989)

    MATH  MathSciNet  Google Scholar 

  5. Mitchell, W.: The covering lemma. In: Handbook of set theory, to appear

  6. Steel, J.: The core model iterability problem. Lecture Notes in Logic #8, Berlin 1996

  7. Windßus, K.: Projektive Determiniertheit. Diploma thesis, Bonn 1993

  8. Zeman, M.: Inner Models and Large Cardinals. de Gruyter Series in Logic and Its Applications #5, Berlin 2002

Download references

Author information

Authors and Affiliations

  1. Mathematisches Institut, Universität Bonn, Beringstraße 1, Bonn, Germany

    Peter Koepke

  2. Institut für mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstraße 62, Münster, Germany

    Ralf Schindler

Authors
  1. Peter Koepke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Schindler
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ralf Schindler.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Koepke, P., Schindler, R. Homogeneously Souslin sets in small inner models. Arch. Math. Logic 45, 53–61 (2006). https://doi.org/10.1007/s00153-005-0301-3

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-005-0301-3

Keywords

Search

Navigation