Lecture Notes in Mathematics - Recursion Theory Week
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540527725, 9783540471424
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Positive solutions to Post's problem

1990 ◽  
pp. 33-40
Author(s):  
C. T. Chong ◽  
K. J. Mourad
Keyword(s):  
Positive Solutions

Priority arguments using iterated trees of strategies

1990 ◽  
pp. 277-296 ◽  
Author(s):  
Steffen Lempp ◽  
Manuel Lerman

Randomness and generalizations of fixed point free functions

1990 ◽  
pp. 245-254 ◽  
Author(s):  
Antonín Kučera
Keyword(s):  
Fixed Point

The metamathematics of Fraïssé's order type conjecture

1990 ◽  
pp. 41-56 ◽  
Author(s):  
P. Clote
Keyword(s):  
Order Type

Array nonrecursive sets and multiple permitting arguments

1990 ◽  
pp. 141-173 ◽  
Author(s):  
Rod Downey ◽  
Carl Jockusch ◽  
Michael Stob

A characterization of effective topological spaces

1990 ◽  
pp. 363-387 ◽  
Author(s):  
Dieter Spreen
Keyword(s):  
Topological Spaces

Honest polynomial reductions and exptally sets

1990 ◽  
pp. 1-22 ◽  
Author(s):  
Klaus Ambos-Spies ◽  
Steven Homer ◽  
Dongping Yang

A direct construction of a minimal recursively enumerable truth-table degree

1990 ◽  
pp. 187-204 ◽  
Author(s):  
Peter A. Fejer ◽  
Richard A. Shore
Keyword(s):  
Truth Table ◽  
Direct Construction ◽  
Recursively Enumerable
Load More ...
Sign in / Sign up

Export Citation Format

Share Document