Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Elsevier

9780444105455

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

More on Set Existence

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70587-1 ◽

1974 ◽

pp. 195-204

Author(s):

Françoise Ville

Download Full-text

Edited by

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70575-5 ◽

1974 ◽

pp. iii

Download Full-text

On Axiomatizing Recursion Theory

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70594-9 ◽

1974 ◽

pp. 385-404 ◽

Author(s):

Jens Erik Fenstad

Keyword(s):

Recursion Theory

Download Full-text

Ordinal Recursion and Inductive Definitions

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70590-1 ◽

1974 ◽

pp. 221-264 ◽

Author(s):

Douglas Cenzer

Keyword(s):

Inductive Definitions

Download Full-text

Model Theory for Dissecting Recursion Theory

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70596-2 ◽

1974 ◽

pp. 421-428

Author(s):

Thomas J. Grilliot

Keyword(s):

Model Theory ◽

Recursion Theory

Download Full-text

Dissecting Abstract Recursion

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70595-0 ◽

1974 ◽

pp. 405-420

Author(s):

Thomas J. Grilliot

Download Full-text

Recursion in the Superjump

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70579-2 ◽

1974 ◽

pp. 3-41 ◽

Author(s):

Peter Aczel ◽

Peter G. Hinman

Download Full-text

Part III Inductive Definability

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70588-3 ◽

1974 ◽

pp. 205

Download Full-text

Degree Theory on Admissible Ordinals

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70586-x ◽

1974 ◽

pp. 165-193 ◽

Author(s):

Stephen G. Simpson

Keyword(s):

Degree Theory ◽

Admissible Ordinals

Download Full-text

Index

Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70602-5 ◽

1974 ◽

pp. 453-456

Download Full-text