Complexity of the index set of a constructive model
type: Item
instance of: scholarly article
title: Complexity of the index set of a constructive model
zbMATH Open document ID: 0545.03016
DOI: 10.1007/BF01979674
author: V. P. Dobritsa
published in: Algebra and Logic
publication date: 1983-01-01T00:00:00Z
review text: Translation from Algebra Logika 22, No.4, 372-381 (Russian) (1983; Zbl 0537.03022).
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D55
zbMATH DE Number: 3867302
zbMATH Keywords: constructive models
zbMATH Keywords: computable classes
zbMATH Keywords: arithmetical hierarchy
zbMATH Keywords: constructive systems
zbMATH Keywords: computable index function
zbMATH Keywords: index set
MaRDI profile type: Publication
cites work: Q3958432
cites work: Q5573961
cites work: Autostability of models
cites work: Autostability of models and Abelian groups
cites work: Q4133972
description: scientific article; zbMATH DE number 3867302