A topological shuttle between inequalities and pseudoinequalities

DOI10.1007/s00233-021-10167-0OpenAlexW3130756282MaRDI QIDQ2031452

Bernardo H. Fernandes, Gracinda M. S. Gomes

Publication date: 9 June 2021

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-021-10167-0

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Ordered rings, algebras, modules (06F25)

Cites Work

• Unnamed Item
• The Birkhoff theorem for varieties of finite algebras
• The Birkhoff theorem for finite algebras
• An algebraic proof that pseudovarieties are defined by pseudoidentities
• Varieties of ordered algebras
• On pseudovarieties
• Nonstandard characterization of pseudovarieties
• A Reiterman theorem for pseudovarieties of finite first-order structures
• Regular Cost Functions, Part I: Logic and Algebra over Words

This page was built for publication: A topological shuttle between inequalities and pseudoinequalities