Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
type: Item
instance of: scholarly article
title: Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
zbMATH Open document ID: 0453.03047
published in: Studies in Logic and the Foundations of Mathematics
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D60
Mathematics Subject Classification ID: 03D75
Mathematics Subject Classification ID: 03D65
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 03C55
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03D70
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 03D25
Mathematics Subject Classification ID: 03E99
zbMATH DE Number: 3708380
zbMATH Keywords: Recursion theory
zbMATH Keywords: Proceedings
zbMATH Keywords: Symposium
zbMATH Keywords: Oslo
zbMATH Keywords: extendability of ZF models
zbMATH Keywords: von Neumann hierarchy
zbMATH Keywords: KM theory of classes
zbMATH Keywords: alpha-recursion
zbMATH Keywords: beta recursion
zbMATH Keywords: continuous functionals
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3708380