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]

[img] Text (Full Text)
PP-2000-01.text.ps.gz

Download (103kB)
[img] Text (Abstract)
PP-2000-01.abstract.txt

Download (481B)

Abstract

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