Axiomatizability by !-sentences

DOI10.1007/S00153-011-0244-9MaRDI QIDQ647342zbMATH OpenOpenAlexFDO

Authors Miguel 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

MV-algebradiscriminator varietyelementary classintersection propertypreservation theory

Mathematics Subject Classification ID

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

Recommendations

• Lattices of boundedly axiomatizable \(\forall\)-subclasses of \(\forall\)-classes of universal algebras
• Axiomatizations of universal classes through infinitary logic
• Finitely axiomatizable quasivarieties of graphs
• Axiomatisability of the class of monolithic groups in a variety of nilpotent groups
• On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions

Cites work

• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3582215 (Why is no real title available?)
• Algebraically expandable classes
• Algebras Whose Congruence Lattices are Distributive.
• Implicit connectives of algebraizable logics
• Sheaf Constructions and Their Elementary Properties

Cited in

(3)

• Independent axiomatizability of sets of sentences
• Decidability of ∀*∀‐Sentences in Membership Theories
• An ‘i’ for an i, a Truth for a Truth†

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

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