Normality of Horn theories with a nonmaximal spectrum (Q1086227): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Varieties of logical matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models of superstable Horn theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Countable Models of Stable Theories / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2074599235 / rank | |||
Normal rank |
Latest revision as of 10:06, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Normality of Horn theories with a nonmaximal spectrum |
scientific article |
Statements
Normality of Horn theories with a nonmaximal spectrum (English)
0 references
1985
0 references
The main result of this article is the following. If a Horn theory T (not necessarily complete) has a nonmaximal uncountable spectrum, then it is normal. This result is a corollary to the following theorem: If T is a complete theory whose h-companion \(T^ h\) is superstable and does not have the dimension order property (dop), then each formula T is equivalent to a Boolean combination of h-formulas and formulas having no more than one free variable. These results are used for estimating the spectrum of the h-companion and describing uncountable spectra of arbitrary (not complete) Horn classes, in particular, quasivarieties.
0 references
superstability
0 references
Horn theory
0 references
h-companion
0 references
quasivarieties
0 references