First-order theory of the degrees of recursive unsolvability
type: Item
instance of: scholarly article
title: First-order theory of the degrees of recursive unsolvability
zbMATH Open document ID: 0349.02035
DOI: 10.2307/1971028
author: Stephen G. Simpson
published in: Annals of Mathematics. Second Series
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D30
zbMATH DE Number: 3544027
Wikidata QID: Q56430704
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1971028
OpenAlex ID: W2016487828
description: scientific article; zbMATH DE number 3544027