Advertisement

An application of Π21-logic to descriptive set theory

  • E. R. Griffor
Conference paper
  • 217 Downloads
Part of the Lecture Notes in Mathematics book series (LNM, volume 1141)

Keywords

Natural Transformation Direct Limit Completeness Theorem Integer Sequence Universal Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Girard, J.-Y. [1981] Π21-logic, Part I: Dilators, Annals of Math. Logic, 21, pp 75–219.MathSciNetCrossRefzbMATHGoogle Scholar
  2. [ ? ] The Ptyxes.Google Scholar
  3. [1983] with S.P. Ressayre, Éléments de logique Πn1, preprint.Google Scholar
  4. Mansfield, R. [1971] A Souslin Operator for Π21, Israel Journal of Math., pp 367–379.Google Scholar
  5. Martin, D.A. and R. Solovay [1969] A basis theorem for Σ31-sets of reals, Annals of Math., 89, pp 138–160.MathSciNetCrossRefzbMATHGoogle Scholar
  6. Welch, P. [1984] On Σ31, private communication.Google Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • E. R. Griffor
    • 1
  1. 1.University of UppsalaUppsalaSweden

Personalised recommendations