Measure, Π10-classes and complete extensions of PA

  • Antonín Kučera
Conference paper

DOI: 10.1007/BFb0076224

Volume 1141 of the book series Lecture Notes in Mathematics (LNM)
Cite this paper as:
Kučera A. (1985) Measure, Π10-classes and complete extensions of PA. In: Ebbinghaus HD., Müller G.H., Sacks G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1141. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • Antonín Kučera
    • 1
  1. 1.Department of Computer ScienceCharles UniversityPrague 1Czechoslovakia