Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

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

From MaRDI portal
Publication:1803022
Jump to:navigation, search

DOI10.1007/BF01980247zbMATH Open0774.03011MaRDI QIDQ1803022FDOQ1803022

E. A. Palyutin

Publication date: 29 June 1993

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





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


zbMATH Keywords

Horn theoriespositively primitive formulas


Mathematics Subject Classification ID

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


Cites Work

  • Normality of Horn theories with a nonmaximal spectrum


Cited In (3)

  • Title not available (Why is that?)
  • Modularizing the Elimination of r=0 in Kleene Algebra
  • Horn sentences excluding a prime





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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1803022&oldid=14157892"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 1 February 2024, at 09:01. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki