Nominal Algebra and the HSP Theorem

DOI10.1093/logcom/exn055zbMath1163.03017OpenAlexW2052793485MaRDI QIDQ3623222

Murdoch James Gabbay

Publication date: 16 April 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn055

zbMATH Keywords

equational logicuniversal algebranominal setsnominal algebranominal termsHSP or Birkhoff's theorem

Mathematics Subject Classification ID

Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05)

Related Items (9)

Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Unnamed Item ⋮ On solving nominal disunification constraints ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Equational presentations of functors and monads ⋮ On universal algebra over nominal sets ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Term-generic logic

This page was built for publication: Nominal Algebra and the HSP Theorem