A set-theoretic representation of algebraic L-domains

DOI10.1007/978-3-031-20350-3_30OpenAlexW4313349798MaRDI QIDQ6111975

Cuixia Miao, Juan Zou, Longchun Wang, Yuhan Zhao

Publication date: 4 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-20350-3_30

zbMATH Keywords

Stone's representation theoremdomain theoryalgebraic L-domaintopped algebraic intersection structure

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalised information systems capture L-domains
• A logical approach to stable domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case
• Domain theory in logical form
• Stone duality and representation of stable domain
• Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains
• New representations of algebraic domains and algebraic L-domains via closure systems
• Information systems for continuous semi-lattices
• Representations of stably continuous semi-lattices by information systems and abstract bases
• Continuous Lattices and Domains
• The Theory of Representation for Boolean Algebras

This page was built for publication: A set-theoretic representation of algebraic L-domains