Elimination of quantifiers in Horn theories having a small number of models (Q1803022)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 220174
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Elimination of quantifiers in Horn theories having a small number of models |
scientific article; zbMATH DE number 220174 |
Statements
Elimination of quantifiers in Horn theories having a small number of models (English)
0 references
29 June 1993
0 references
We strengthen all the main results derived by us in Algebra Logika 24, No. 5, 551-587 (1985; Zbl 0608.03008) by replacing the class of \(h\)- formulas in their statements with a smaller class of positively primitive formulas. We do not give alternate proofs to those cited in our earlier paper [loc. cit.], but rather continue them, using results derived there.
0 references
Horn theories
0 references
positively primitive formulas
0 references
0.767410159111023
0 references
0.737772524356842
0 references
0.7330090999603271
0 references
