Perspectives in Logic

Chapter III: $\Sigma^1_1$ Predicates of Reals

Full-text: Open access

Chapter information

Source
Gerald E. Sacks, Higher Recursion Theory (Berlin: Springer-Verlag, 1990), 52-87

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235422635

Rights
Copyright © 1990, Association for Symbolic Logic

Citation

Sacks, Gerald E. Chapter III: $\Sigma^1_1$ Predicates of Reals. Higher Recursion Theory, 52--87, Springer-Verlag, Berlin, 1990. https://projecteuclid.org/euclid.pl/1235422635


Export citation