
doi: 10.1007/bf02080332
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\).
Categoricity and completeness of theories, prime model, models of complete Horn theories with non-maximal spectra, Classification theory, stability, and related concepts in model theory
Categoricity and completeness of theories, prime model, models of complete Horn theories with non-maximal spectra, Classification theory, stability, and related concepts in model theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
