PP-2000-01: Axiomatizing Complex Algebras by Games

PP-2000-01: Hodkinson, Ian and Mikulás, Szabolcs and Venema, Yde (2000) Axiomatizing Complex Algebras by Games. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (103kB)
[thumbnail of Abstract] Text (Abstract)

Download (481B)


Given a variety V of algebras we provide an axiomatization of the class of
complex algebras of the algebras in V. This axiomatization can be obtained
effectively from an axiomatization of V; in fact, it is recursive if the
axiomatization of V is given as a recursive enumeration.

Keyword(s): Boolean algebras with operators, complex algebras, axiomatization,
complex group, variety, games

Item Type: Report
Report Nr: PP-2000-01
Series Name: Prepublication (PP) Series
Year: 2000
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/28

Actions (login required)

View Item View Item