Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662900 | Journal of Applied Logic | 2013 | 6 Pages |
Abstract
We give a finite axiomatisation to representable ordered domain algebras and show that finite algebras are representable on finite bases.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Robin Hirsch, Szabolcs Mikulás,