Degrees of insolubility of extensions of arithmetic by true propositions
type: Item
instance of: scholarly article
title: Degrees of insolubility of extensions of arithmetic by true propositions
zbMATH Open document ID: 0663.03047
published in: Russian Mathematical Surveys
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03D30
zbMATH DE Number: 4083622
zbMATH Keywords: degrees of unsolvability
zbMATH Keywords: extensions of Peano arithmetic
zbMATH Keywords: Turing degree
author: Sergei Artemov
MaRDI profile type: Publication
full work available at URL: rm1988v043n02abeh001708
OpenAlex ID: W2079493684
DOI: 10.1070/RM1988V043N02ABEH001708
description: scientific article