Structural properties of computable classes of contructive models
type: Item
instance of: scholarly article
title: Structural properties of computable classes of contructive models
zbMATH Open document ID: 0654.03024
DOI: 10.1007/BF01978382
author: V. P. Dobritsa
published in: Algebra and Logic
publication date: 1987-01-01T00:00:00Z
review text: See the review in Zbl 0636.03030.
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D45
zbMATH DE Number: 4066857
zbMATH Keywords: effectively presented models
zbMATH Keywords: index sets
zbMATH Keywords: arithmetical hierarchy
zbMATH Keywords: constructivization
zbMATH Keywords: computable indexing
zbMATH Keywords: arithmetical complexity
zbMATH Keywords: finite models
MaRDI profile type: Publication
cites work: Q5573961
cites work: Q3322080
cites work: A universal semigroup
cites work: Q5619077
description: scientific article; zbMATH DE number 4066857