A totally transcendental decidable theory without constructivizable homogeneous models
type: Item
instance of: scholarly article
title: A totally transcendental decidable theory without constructivizable homogeneous models
zbMATH Open document ID: 0468.03024
DOI: 10.1007/BF01669834
published in: Algebra and Logic
publication date: 1981-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187088
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03C15
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C50
zbMATH DE Number: 3733893
zbMATH Keywords: recursive model theory
zbMATH Keywords: strong constructivizability
zbMATH Keywords: existence problem for strongly constructivizable homogeneous models
author: S. S. Goncharov
MaRDI profile type: Publication
cites work: Some aspects of generalized computability
cites work: Q3912552
cites work: Superatomic Boolean algebras
cites work: Recursively presentable prime models
cites work: Foundations of recursive model theory
OpenAlex ID: W1982321417
description: scientific article; zbMATH DE number 3733893