Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Girard, J.-Y. [1981] Π 12 -logic, Part I: Dilators, Annals of Math. Logic, 21, pp 75–219.
[ ? ] The Ptyxes.
[1983] with S.P. Ressayre, Éléments de logique Π 1n , preprint.
Mansfield, R. [1971] A Souslin Operator for Π 12 , Israel Journal of Math., pp 367–379.
Martin, D.A. and R. Solovay [1969] A basis theorem for Σ 13 -sets of reals, Annals of Math., 89, pp 138–160.
Welch, P. [1984] On Σ 13 , private communication.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Griffor, E.R. (1985). An application of Π 12 -logic to descriptive set theory. In: Ebbinghaus, HD., Müller, G.H., Sacks, G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1141. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0076219
Download citation
DOI: https://doi.org/10.1007/BFb0076219
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15673-4
Online ISBN: 978-3-540-39596-6
eBook Packages: Springer Book Archive