Perspectives in Logic

Chapter XI: Forcing Computations to Converge

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 23 February 2009

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

Rights
Copyright © 1990, Association for Symbolic Logic

Citation

Sacks, Gerald E. Chapter XI: Forcing Computations to Converge. Higher Recursion Theory, 259--282, Springer-Verlag, Berlin, 1990. https://projecteuclid.org/euclid.pl/1235422643


Export citation