On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions

DOI10.1007/s00012-018-0522-zOpenAlexW2802119461WikidataQ129862115 ScholiaQ129862115MaRDI QIDQ1652877

João Marcos, Guillermo Badia

Publication date: 16 July 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0522-z

zbMATH Keywords

model theoryalgebraic characterization theoremsdual Horn formulas

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Equational classes, universal algebra in model theory (03C05) Model theory of fields (12L12)

Related Items (1)

What is a logical theory? On theories containing assertions and denials

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implicational classes of De Morgan lattices
• On elementary equivalence for equality-free logic
• Relativised homomorphism preservation at the finite level
• Antivarieties and colour-families of graphs.
• Some characterization theorems for infinitary universal Horn logic without equality
• Freeness in classes without equality
• Equality-free logic: the method of diagrams and preservation theorems
• Equational axioms for classes of lattices
• Weakly atomic-compact relational structures

This page was built for publication: On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions