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

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Elsevier

9780444851635

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Negative Solutions to Post's Problem, I

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

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

1978 ◽

pp. 127-133 ◽

Author(s):

Sy D. Friedman

Download Full-text

Monotone Quantifiers and Admissible Sets

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

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

1978 ◽

pp. 1-38 ◽

Author(s):

Jon Banvise

Keyword(s):

Admissible Sets

Download Full-text

Recursion theory and set theory, a marriage of convenience

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

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

1978 ◽

pp. 55-98 ◽

Author(s):

Solomon Feferman

Keyword(s):

Recursion Theory

Download Full-text

Weakly Inadmissible Recursion Theory

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

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

1978 ◽

pp. 391-405

Author(s):

Viggo Stoltenberg-Hansen

Keyword(s):

Recursion Theory

Download Full-text

On The Role of the Successor Function in Recursion Theory

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

10.1016/s0049-237x(08)70937-6 ◽

1978 ◽

pp. 283-301

Author(s):

Johan Moldestad

Keyword(s):

Recursion Theory ◽

Successor Function

Download Full-text

Spector Second Order Classes and Reflection

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

10.1016/s0049-237x(08)70932-7 ◽

1978 ◽

pp. 147-183

Author(s):

Alexander S. Kechris

Keyword(s):

Download Full-text

The intrinsic recursion theory on the countable or continuous functionals

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

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

1978 ◽

pp. 135-145

Author(s):

J.M.E. Hyland

Keyword(s):

Recursion Theory ◽

Continuous Functionals

Download Full-text

An Introduction to β-Recursion Theory

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

10.1016/s0049-237x(08)70929-7 ◽

1978 ◽

pp. 111-126 ◽

Author(s):

Sy D. Friedman

Keyword(s):

Recursion Theory

Download Full-text

A Non-Adequate Admissible Set with a Good Degree-Structure

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

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

1978 ◽

pp. 321-329

Author(s):

Dag Normann ◽

Viggo Stoltenberg-Hansen

Keyword(s):

Admissible Set ◽

Degree Structure

Download Full-text

Advisory Editorial Board

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

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

1978 ◽

pp. ii

Download Full-text