The number of computable indexations of finite classes of constructive models
type: Item
instance of: scholarly article
title: The number of computable indexations of finite classes of constructive models
zbMATH Open document ID: 0626.03028
DOI: 10.1007/BF01159572
author: V. P. Dobritsa
published in: Mathematical Notes
publication date: 1986-01-01T00:00:00Z
review text: In this paper we show that a computable class with finitely many constructive models can have either a unique computable indexation (up to equivalence) or infinitely many of them.
Mathematics Subject Classification ID: 03C57
zbMATH DE Number: 4016879
zbMATH Keywords: computable class
zbMATH Keywords: finitely many constructive models
zbMATH Keywords: computable indexation
MaRDI profile type: Publication
cites work: Q3958432
cites work: Q5573961
Recommended article: Computability of the set of computable indexing schemes of the class of constructible models
Recommended article: Computable classes of constructive models with non-limit-equivalent indexations
Recommended article: Q3789547
Recommended article: Q3826539
Recommended article: Semilattices of computable indexations of classes of constructive models
Recommended article: Conditions of effective infinity for the set of computable indexings of a class of constructive models
Recommended article: Complexity of index sets of calculable classes with a finite number of constructive systems
Recommended article: Computable classes of constructivizations for models of finite constructivizability type
Recommended article: Q3973232
Recommended article: Q3322080
description: scientific article; zbMATH DE number 4016879