Basic Operations on Preordered Coherent Spaces

Klaus Grue and Artur Korniłowicz

PDF BibTeX

The paper proves elementary theorems about Preordered Coherent Spaces (PCSs) in a way which allows the Mizar system to do automatic verification of the proofs.

For more on PCSs see

• A kappa-denotational semantics for Map Theory in ZFC+SI
• Dedekind completion as a method for constructing new Scott domains
• A synthetic axiomatization of Map Theory