UID:
almahu_9949216652102882
Format:
1 online resource (vii, 528 p. : ill.)
Edition:
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
ISBN:
9780821893340 (online)
Series Statement:
Proceedings of symposia in pure mathematics, v. 42
Note:
"Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso.
,
REA operators, r.e. degrees and minimal covers /
,
The embedding problem for the recursively enumerable degrees /
,
Major subsets and automorphisms of recursively enumerable sets /
,
The structure of the degrees of unsolvability /
,
Tree arguments in recursion theory and the $0"'$-priority method /
,
Major subsets and the lattice of recursively enumerable sets /
,
Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) /
,
Canonical forms and hierarchies in generalized recursion theory /
,
Aspects of the continuous functionals /
,
Post's problem in $E$-recursion /
,
The $E$-recursively enumerable degrees are dense /
,
Uncountable ZF-ordinals /
,
Another look at gap-1 morasses /
,
Condensation-coherent global square systems /
,
Fine structure theory and its applications /
,
Determinacy and the structure of $L(\mathbf {R})$ /
,
Recursivity and capacity theory /
,
A purely inductive proof of Borel determinacy /
,
Decidable Ehrenfeucht theories /
,
A survey of lattices of r.e. substructures /
,
Survey of constructions in Noetherian rings /
,
El�ements de logique $\Pi ^1_n$ /
,
Paris-Harrington incompleteness and progressions of theories /
,
Reverse mathematics /
,
Infinite fixed-point algebras /
,
The "slow-growing" $\Pi ^1_2$ approach to hierarchies /
,
G�odel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition /
,
Mode of access : World Wide Web
Additional Edition:
Print version: Recursion theory / ISSN 0082-0717 ISBN 9780821814475
Language:
English
