Axiomatizability by \({\forall \exists!}\)-sentences

DOI10.1007/s00153-011-0244-9zbMath1237.03018OpenAlexW2091366504MaRDI QIDQ647342

Miguel A. Campercholi, Diego J. Vaggione

Publication date: 23 November 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-011-0244-9

zbMATH Keywords

elementary classdiscriminator varietyMV-algebraintersection propertypreservation theory

Mathematics Subject Classification ID

Model theory of finite structures (03C13) MV-algebras (06D35) Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40) Basic properties of first-order languages and structures (03C07)

Related Items (1)

Semantical conditions for the definability of functions and relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraically expandable classes
• Implicit connectives of algebraizable logics
• Sheaf Constructions and Their Elementary Properties
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Axiomatizability by \({\forall \exists!}\)-sentences