Axiomatizability by \({\forall \exists!}\)-sentences
From MaRDI portal
Publication:647342
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
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)
Cites Work
This page was built for publication: Axiomatizability by \({\forall \exists!}\)-sentences