Axiomatizing complex algebras by games.

DOI10.1007/PL00000354zbMath1063.08011OpenAlexW2162528839MaRDI QIDQ1771885

Szabolcs Mikulás, Yde Venema, I. M. Hodkinson

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00000354

zbMATH Keywords

complex algebraBoolean algebra with operatorspower algebra axiomatization

Mathematics Subject Classification ID

Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Axiomatic model classes (08C10)

Related Items (1)

Introducing Boolean Semilattices

This page was built for publication: Axiomatizing complex algebras by games.