Bases for Chain-complete Posets
From MaRDI portal
Publication:4094899
Cited in
(27)- Embedding \(\omega\)-continuous posets in function spaces of domains
- Order completion monads
- Tree constructions of free continuous algebras
- Convex powerdomains. I
- Atomicity, coherence of information, and point-free structures
- CPO's of measures for nondeterminism
- Fixing Zeno gaps
- Decompositions for Relatively Normal Lattices
- Torsion elements in effect algebras
- Uniform completion versus ideal completion of posets with projections
- Varieties of chain-complete algebras
- Completion of Boolean algebras in MSet
- Two categories of effective continuous cpos
- Fundamental properties of infinite trees
- On some classes of interpretations
- On the algebra of order
- A note on the existence of continuous functionals
- The largest Cartesian closed category of domains
- Embedding metric spaces into CPO's
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Fixed points in digital topology (via Helly posets)
- Petri nets, event structures and domains. I
- Infinite trees in normal form and recursive equations having a unique solution
- Effectively given domains
- Transporting continuity properties from a poset to its subposets
- A uniform approach to inductive posets and inductive closure
- \(\mathbb{T}^\omega\) as a universal domain
This page was built for publication: Bases for Chain-complete Posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4094899)
