Bases for Chain-complete Posets

DOI10.1147/RD.202.0138zbMATH Open0329.06001OpenAlexW2028000879MaRDI QIDQ4094899FDOQ4094899

Authors George Markowsky, Barry K. Rosen 

Publication date 1976

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.202.0138

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Partial orders, general (06A06) Symbolic computation and algebraic computation (68W30) Roundoff error (65G50) Algorithms in computer science (68W99) Other classical set theory (including functions, relations, and set algebra) (03E20)

Cited In (27)

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

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)