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)
PP-2000-01.text.ps.gz
Download (103kB)
[thumbnail of Abstract] 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
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility