Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15-21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks.

Format:

Book

Contributor:

Ebbinghaus, Heinz-Dieter, 1939- editor.

Müller, Gert H., editor.

Sacks, Gerald E., editor.

SpringerLink (Online service)

Series:

Lecture Notes in Mathematics, 0075-8434 ; 1141.

Lecture Notes in Mathematics, 0075-8434 ; 1141

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Mathematical Logic and Foundations.

Local Subjects:

Mathematical Logic and Foundations.

Physical Description:

1 online resource (XII, 420 pages).

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985.

System Details:

text file PDF

Contents:

Generators of the recursively enumerable degrees

Kleene degrees of ultrafilters

Recursion theory on strongly ?2 inadmissible ordinals

Applications of the low-basis theorem in arithmetic

Strong reducibilities in ?- and ?-recursion theory

Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees

An immune partition of the ordinals

An application of ? 2 1 -logic to descriptive set theory

Probabilistic machines, oracles, and quantifiers

Minimal polynomial degrees of nonrecursive sets

Genericity for recursively enumerable sets

Sets of everywhere singular functions

Measure, ? 1 0 -classes and complete extensions of PA

On the ordering of classes in high/low hierarchies

Generic objects in recursion theory

The structure of m-degrees

Some open questions in recursion theory

Absolute type 2 objects

Recursion theoretic aspects of the dual ramsey theorem

Reflection and the priority method in E-recursion theory

Subrecursive ordinals.

Other Format:

Printed edition:

ISBN:

9783540395966

Access Restriction:

Restricted for use by site license.