<--- Back to Details
First PageDocument Content
Philosophy of mathematics / Turing degree / Turing jump / Enumeration / Theodore Slaman / Arithmetical set / Computability theory / Mathematics / Logic
Date: 2013-11-11 20:26:54
Philosophy of mathematics
Turing degree
Turing jump
Enumeration
Theodore Slaman
Arithmetical set
Computability theory
Mathematics
Logic

THE AUTOMORPHISM GROUP OF THE ENUMERATION DEGREES MARIYA I. SOSKOVA†

Add to Reading List

Source URL: www.fmi.uni-sofia.bg

Download Document from Source Website

File Size: 378,86 KB

Share Document on Facebook

Similar Documents

Year of birth missing / Turing degree / Mathematics / Mathematical logic / Logic / Proof theory / Computability theory / Carl Jockusch / Place of birth missing

ERRATA FOR “ON THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS” PETER A. CHOLAK, CARL G. JOCKUSCH, JR., AND THEODORE A. SLAMAN Several proofs given in [2] contain significant errors or gaps, although

DocID: 8Whf - View Document

Mathematics / Theory of computation / PA degree / Computable function / Reverse mathematics / Model theory / Forcing / Combinatory logic / Primitive recursive function / Computability theory / Mathematical logic / Theoretical computer science

THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse

DocID: 8Vhc - View Document

English people / Theory of computation / Turing degree / Alan Turing / Degree of a continuous mapping / Computability theory / British people / Mathematics

Turing Degrees and Definability of the Jump C Theodore A. Slaman University of California, Berkeley

DocID: 7In8 - View Document

Theodore Slaman / Mathematics

Progress on the c.e. sets: Improving and Proving the Slaman-Woodin conjecture

DocID: 6nZI - View Document

Mathematical logic / Mathematics / Kurt Gödel / National University of Singapore / Philosophy / Knowledge / Academia / Theodore Slaman / Computability theory

Microsoft PowerPoint - IMS Public Lecture - Slaman

DocID: 61Vp - View Document