Elimination of quantifiers in Horn theories having a small number of models

DOI10.1007/BF01980247MaRDI QIDQ1803022zbMATH OpenFDO

Authors E. A. Palyutin

Publication date 29 June 1993

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01980247

zbMATH Keywords

Horn theoriespositively primitive formulas

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Review text

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.

Recommendations

• Models and quantifier elimination for quantified Horn formulas
• Categorical Horn classes. II
• On elimination of quantifiers in some non-classical mathematical theories
• scientific article; zbMATH DE number 1534359
• scientific article; zbMATH DE number 4039866

Cites work

• Normality of Horn theories with a nonmaximal spectrum

Cited in

(3)

• Horn sentences excluding a prime
• scientific article; zbMATH DE number 1534359 (Why is no real title available?)
• Modularizing the Elimination of r=0 in Kleene Algebra

This page was built for publication: Elimination of quantifiers in Horn theories having a small number of models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803022)