Partially ordered sets with projections and their topology

DOI10.4064/DM428-0-1zbMath1057.54024OpenAlexW2083934113MaRDI QIDQ4829444

Ralf Kummetz

Publication date: 29 November 2004

Published in: Dissertationes Mathematicae (Search for Journal in Brave)

Full work available at URL: http://journals.impan.gov.pl/dm/Cont/dm428-0.html

zbMATH Keywords

weight functioncartesian closed categorycontinuous posetdcponon-expansive mapMazurkiewicz tracesalgebraic posetF-topologyP-domainFS-domainmodel for the untyped \(\lambda\)-calculuspop homomorphismpop uniformityposet with projectionsbifinite domainconvergence of monotone netsposet with approximating mappings\(\alpha\)-traces\(\delta\)-tracesdomain completionF-uniformitypop completionpop topologyreal tracestopology of traces

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35) Ordered topological structures (06F30)

Related Items (1)

The topology of Mazurkiewicz traces.

This page was built for publication: Partially ordered sets with projections and their topology