Perspectives in Logic

Chapter I: Constructive Ordinals and $\Pi^1_1$ Sets

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 23 February 2009

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

Rights
Copyright © 1990, Association for Symbolic Logic

Citation

Sacks, Gerald E. Chapter I: Constructive Ordinals and $\Pi^1_1$ Sets. Higher Recursion Theory, 3--21, Springer-Verlag, Berlin, 1990. https://projecteuclid.org/euclid.pl/1235422633


Export citation