Abstract
We give a simple proof ofΠ 11 andΠ 12 uniformization results, which is based on the use ofΠ 12 -Logic.
Similar content being viewed by others
References
Girard, J.Y.: Proof theory and logical complexity. Bibliopolis, 1987 (to appear)
Girard, J.Y.:Π 12 -Logic, part I. Ann. Math. Logic21, 75–271 (1981)
Girard, J.Y., Ressayre, J.P.: Elements de LogiqueΠ 1n . Proceedings of the AMS Symposium on Recursion Theory, Cornell 1982, pp. 389–445
Jech, T.: Set theory
Kechris, A.S.: Dilators and ptykes in descriptive set theory (to appear)
Moschovakis, I.: Descriptive set theory, NH 1978
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ressayre, J.P. Π 12 -Logic and uniformization in the analytical hierarchy. Arch Math Logic 28, 99–117 (1989). https://doi.org/10.1007/BF01633985
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01633985