Finite Axiomatizations for Universal Domains

DOI10.1093/logcom/2.2.119zbMath0776.68080OpenAlexW2040419927MaRDI QIDQ4013251

Manfred Droste

Publication date: 27 September 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.2.119

zbMATH Keywords

finite axiomatizationdenotational semanticsalgebraic latticescompact elementsuniversal homogeneous objectScott domainsuniversal domainbifinite domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Special categories (18B99) Continuous lattices and posets, applications (06B35) Basic properties of first-order languages and structures (03C07)

Related Items

Universal domains and the amalgamation property, Universal locally finite maximally homogeneous semigroups and inverse semigroups, Almost Every Domain is Universal