Categoricity and generalized model completeness
type: Item
instance of: scholarly article
title: Categoricity and generalized model completeness
zbMATH Open document ID: 0637.03022
DOI: 10.1007/BF01625828
author: Gisela Ahlbrandt
author: John T. Baldwin
published in: Archive for Mathematical Logic
publication date: 1988-01-01T00:00:00Z
review text: The author proves that if T is \(\aleph_ 0\)-categorical and almost strongly minimal then T has a finite definitional extension which is model complete (T is said to be almost model complete). In addition such a T is axiomatizable by sentences of bounded quantifier complexity.
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 4037824
zbMATH Keywords: axiomatizability
zbMATH Keywords: sentences of bounded quantifier complexity
reviewed by: J. M. Plotkin
MaRDI profile type: Publication
cites work: Q3797167
cites work: Quasi finitely axiomatizable totally categorical theories
cites work: Almost strongly minimal theories. I
cites work: First-order theories of abstract dependence relations
cites work: Omitting types of prenex formulas
cites work: \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
cites work: Categoricity in Power
cites work: Classification theory and the number of non-isomorphic models
full work available at URL: https://doi.org/10.1007/bf01625828
OpenAlex ID: W2046909290
Recommended article: Complexity of categorical theories with computable models
Recommended article: Complexity of Categorical Theories with Computable Models
Recommended article: Completeness results for intuitionistic and modal logic in a categorical setting
Recommended article: Completeness and categoricity: Frege, gödel and model theory
Recommended article: Model completions and r-Heyting categories
Recommended article: Categoricity of computable infinitary theories
Recommended article: Q5477350
Recommended article: Completeness of category-based equational deduction
Recommended article: The degrees of categorical theories with recursive models
description: scientific article; zbMATH DE number 4037824