Perspectives in Mathematical Logic - Higher Recursion Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642057427, 9783662120132

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Priority Arguments

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_8 ◽

1990 ◽

pp. 175-203

Author(s):

Gerald E. Sacks

Download Full-text

Admissibility and Regularity

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_7 ◽

1990 ◽

pp. 151-174

Author(s):

Gerald E. Sacks

Download Full-text

Metarecursive Enumerability

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_5 ◽

1990 ◽

pp. 115-134

Author(s):

Gerald E. Sacks

Download Full-text

Σ11 Predicates of Reals

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_3 ◽

1990 ◽

pp. 52-87

Author(s):

Gerald E. Sacks

Download Full-text

Hyperregularity and Priority

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_6 ◽

1990 ◽

pp. 135-148

Author(s):

Gerald E. Sacks

Download Full-text

E-Recursively Enumerable Degrees

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_13 ◽

1990 ◽

pp. 309-338

Author(s):

Gerald E. Sacks

Keyword(s):

Recursively Enumerable

Download Full-text

Selection and k-Sections

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_12 ◽

1990 ◽

pp. 283-308

Author(s):

Gerald E. Sacks

Download Full-text

Splitting, Density and Beyond

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_9 ◽

1990 ◽

pp. 204-229

Author(s):

Gerald E. Sacks

Download Full-text

The Hyperarithmetic Hierarchy

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_2 ◽

1990 ◽

pp. 22-51

Author(s):

Gerald E. Sacks

Keyword(s):

Hyperarithmetic Hierarchy

Download Full-text

Forcing Computations to Converge

Perspectives in Mathematical Logic - Higher Recursion Theory ◽

10.1007/978-3-662-12013-2_11 ◽

1990 ◽

pp. 259-282

Author(s):

Gerald E. Sacks

Download Full-text

Perspectives in Mathematical Logic - Higher Recursion TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Priority Arguments

Admissibility and Regularity

Metarecursive Enumerability

Σ11 Predicates of Reals

Hyperregularity and Priority

E-Recursively Enumerable Degrees

Selection and k-Sections

Splitting, Density and Beyond

The Hyperarithmetic Hierarchy

Forcing Computations to Converge

Perspectives in Mathematical Logic - Higher Recursion Theory
Latest Publications