Models of superstable Horn theories
type: Item
instance of: scholarly article
title: Models of superstable Horn theories
zbMATH Open document ID: 0597.03017
DOI: 10.1007/BF02080332
published in: Algebra and Logic
publication date: 1985-01-01T00:00:00Z
review text: The main aim of this paper is the development of a structural theory for models of complete Horn theories with non-maximal spectra. A termal lemma, proved in the paper, permits to prove the existence of a prime model over any independent set of models of a complete Horn theory with non-maximal spectrum. It is proved that any model may be decomposed into submodels of smaller depths. This gives the possibility to characterize models of Horn theories with non-maximal spectra. Lower and upper bounds of the spectra of complete Horn theories are found. This gives a proximate characterization of the spectrum of a complete Horn theory if its depth is 1 or \(>\omega\).
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 3961585
zbMATH Keywords: models of complete Horn theories with non-maximal spectra
zbMATH Keywords: prime model
author: Jürgen Saffe
author: E. A. Palyutin
author: S. Starchenko
MaRDI profile type: Publication
cites work: Q4081299
cites work: Categorical positive Horn theories
cites work: Q3964536
cites work: The number of uncountable models of \(\omega\)-stable theories
cites work: Classification theory and the number of non-isomorphic models
cites work: The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
cites work: The spectrum problem. II: Totally transcendental and infinite depth
cites work: Q5537655
full work available at URL: https://doi.org/10.1007/bf02080332
OpenAlex ID: W2092199731
description: scientific article; zbMATH DE number 3961585