Proceedings of Symposia in Pure Mathematics - Recursion Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821814475, 9780821893340

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Paris-Harrington incompleteness and progressions of theories

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791070 ◽

1985 ◽

pp. 447-460 ◽

Cited By ~ 5

Author(s):

Kenneth McAloon

Download Full-text

Survey of constructions in Noetherian rings

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791068 ◽

1985 ◽

pp. 377-386

Author(s):

A. Seidenberg

Keyword(s):

Noetherian Rings

Download Full-text

Determinacy and the structure of 𝐿(𝐑)

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791063 ◽

1985 ◽

pp. 271-283 ◽

Cited By ~ 5

Author(s):

Alexander S. Kechris

Download Full-text

Major subsets and automorphisms of recursively enumerable sets

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791050 ◽

1985 ◽

pp. 21-32 ◽

Cited By ~ 1

Author(s):

Wolfgang Maass

Keyword(s):

Recursively Enumerable ◽

Recursively Enumerable Sets

Download Full-text

Eléments de logique Π¹_{𝑛}

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791069 ◽

1985 ◽

pp. 389-445 ◽

Cited By ~ 6

Author(s):

Jean-Yves Girard ◽

Jean-Pierre Ressayre

Download Full-text

A survey of lattices of r.e. substructures

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791067 ◽

1985 ◽

pp. 323-375 ◽

Cited By ~ 24

Author(s):

A. Nerode ◽

J. Remmel

Download Full-text

Canonical forms and hierarchies in generalized recursion theory

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791055 ◽

1985 ◽

pp. 139-170

Author(s):

Phokion G. Kolaitis

Keyword(s):

Recursion Theory ◽

Canonical Forms

Download Full-text

The structure of the degrees of unsolvability

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791051 ◽

1985 ◽

pp. 33-51 ◽

Cited By ~ 2

Author(s):

Richard A. Shore

Keyword(s):

Degrees Of Unsolvability

Download Full-text

Infinite fixed-point algebras

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791072 ◽

1985 ◽

pp. 473-486 ◽

Cited By ~ 4

Author(s):

Robert M. Solovay

Keyword(s):

Fixed Point

Download Full-text

Decidable Ehrenfeucht theories

Proceedings of Symposia in Pure Mathematics - Recursion Theory ◽

10.1090/pspum/042/791066 ◽

1985 ◽

pp. 311-321 ◽

Cited By ~ 7

Author(s):

T. Millar

Download Full-text

Proceedings of Symposia in Pure Mathematics - Recursion TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

Paris-Harrington incompleteness and progressions of theories

Survey of constructions in Noetherian rings

Determinacy and the structure of 𝐿(𝐑)

Major subsets and automorphisms of recursively enumerable sets

Eléments de logique Π¹_{𝑛}

A survey of lattices of r.e. substructures

Canonical forms and hierarchies in generalized recursion theory

The structure of the degrees of unsolvability

Infinite fixed-point algebras

Decidable Ehrenfeucht theories

Proceedings of Symposia in Pure Mathematics - Recursion Theory
Latest Publications