UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Meet-completions and representations of ordered domain algebras

Hirsch, R; Egrot, R; (2013) Meet-completions and representations of ordered domain algebras. The Journal of Symbolic Logic (In press). Green open access

[img]
Preview
PDF
egrot_hirsch_oda_jsl.pdf
Available under License : See the attached licence file.

Download (299kB)

Abstract

We apply the well known equivalence between meet-completions of posets and standard closure operators to construct a meet-completion for ordered domain algebras which simultaneously serves as the base of a representation for such algebras, thereby proving that ordered domain algebras have the finite representation property. We show that many of the equations defining ordered domain algebras are preserved in this completion but associativity, (D2) and (D6) can fail in the completion.

Type: Article
Title: Meet-completions and representations of ordered domain algebras
Open access status: An open access version is available from UCL Discovery
Publisher version: http://www.aslonline.org/journals-journal.html
Language: English
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1388890
Downloads since deposit
162Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item