Hypersatisfaction of quantifier free formulas in algebraic systems

DOI10.1142/S1793557116500571zbMath1353.03017OpenAlexW2266501599MaRDI QIDQ2818301

Jintana Joomwong, Dara Phusanga

Publication date: 7 September 2016

Published in: Asian-European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s1793557116500571

zbMATH Keywords

termalgebraic systemquantifier free formulaconcrete hypersubstitution

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Algebraic structures (08A99)

Cites Work

• Hyperformulas and solid algebraic systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Hypersatisfaction of quantifier free formulas in algebraic systems