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

previous :: next

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

Gerald E. Sacks

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

First Page: Show

Full-text: Open access

PDF File (1487 KB)

Links and Identifiers

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

previous :: next

back to Table of Contents

2012 © Association for Symbolic Logic

Perspectives in Logic

ASL PiL Home

Perspectives in Logic