Hirsch, R;
Egrot, R;
(2013)
Meet-completions and representations of ordered domain algebras.
The Journal of Symbolic Logic
(In press).
![[thumbnail of egrot_hirsch_oda_jsl.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) 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 |
Archive Staff Only
 |
View Item |
