Model complete universal Horn classes
type: Item
instance of: scholarly article
title: Model complete universal Horn classes
zbMATH Open document ID: 0549.03025
DOI: 10.1007/BF01194519
author: John T. Baldwin
author: Steven R. Givant
published in: Algebra Universalis
publication date: 1983-01-01T00:00:00Z
review text: It is shown that the class of (non-trivial) models of a universal Horn theory \(\theta\) whose infinite part is model complete is the union of a sequence of pairwise disjoint complete and model complete universal Horn classes. This result is applied to determine the number of non-isomorphic models of \(\theta\) (under the additional assumption that \(\theta\) is locally finite).
Mathematics Subject Classification ID: 03C52
zbMATH DE Number: 3875245
zbMATH Keywords: models of a universal Horn theory
zbMATH Keywords: universal Horn classes
zbMATH Keywords: number of non- isomorphic models
reviewed by: Jörg Flum
MaRDI profile type: Publication
cites work: On universal Horn classes categorical in some infinite power
cites work: Q4052071
cites work: Horn sentences
cites work: A representation theorem for universal horn classes categorical in power
cites work: The decision problem for some classes of sentences without quantifiers
cites work: Fragments of first order logic, I: universal Horn logic
full work available at URL: https://doi.org/10.1007/bf01194519
OpenAlex ID: W2059358655
description: scientific article; zbMATH DE number 3875245