Axiomatizability by !-sentences

DOI10.1007/S00153-011-0244-9zbMATH Open1237.03018OpenAlexW2091366504MaRDI QIDQ647342FDOQ647342

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Title not available (Why is that?)
• Algebraically expandable classes
• Sheaf Constructions and Their Elementary Properties
• Implicit connectives of algebraizable logics

Cited In (4)

• Independent axiomatizability of sets of sentences
• Decidability of ∀*∀‐Sentences in Membership Theories
• Semantical conditions for the definability of functions and relations
• 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)