A theory with two strongly constructivizable models
type: Item
instance of: scholarly article
title: A theory with two strongly constructivizable models
zbMATH Open document ID: 0448.03028
DOI: 10.1007/BF01669502
published in: Algebra and Logic
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03C99
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3700810
zbMATH Keywords: strongly constructivizable models
zbMATH Keywords: complete decidable theory
zbMATH Keywords: constructive enumerations
zbMATH Keywords: strongly constructive models
zbMATH Keywords: autostability
author: K. Zh. Kudajbergenov
MaRDI profile type: Publication
cites work: Decidable models
full work available at URL: https://doi.org/10.1007/bf01669502
OpenAlex ID: W2094727405
description: scientific article; zbMATH DE number 3700810