Partially ordered sets with projections and their topology

Ralph Kummetz. Partially ordered sets with projections and their topology. 2004. <http://eudml.org/doc/286056>.

@book{RalphKummetz2004,
abstract = {The present monograph is a revised and extended version of my PhD thesis submitted to and defended at the Department of Mathematics, Dresden University of Technology, 2000. First of all, I would like to thank my supervisor, Manfred Droste. His questions on the topology of Mazurkiewicz traces marked the starting point of my research. I am very grateful for his guidance and his perpetual interest. Several people assisted me with my research. In particular, I owe many thanks to Dietrich Kuske. I benefited a lot from the stimulating discussions with him. After all, they have led to the characterization of the topology of real traces in Chapter 6. I am also indebted to Achim Jung. His suggestion to extend the notion of a "pop" has culminated in a separate chapter (Chapter 2). With their invaluable suggestions, the referees of my PhD thesis-Manfred Droste, Achim Jung, and Ralph Kopperman-helped improve this monograph a lot. I greatly acknowledge the support of the PhD programme "Specification of discrete processes and systems of processes by operational models and logics" (Department of Computer Science) as well as the pleasant atmosphere at the Institute of Algebra (Department of Mathematics) at Dresden University of Technology. Finally, I wish to thank Szisza Zvada for her emotional support and encouragement.},
author = {Ralph Kummetz},
keywords = {poset with approximating mappings; poset with projections; continuous poset; algebraic poset; dcpo; FS-domain; bifinite domain; P-domain; F-uniformity; F-topology; pop uniformity; pop topology; convergence of monotone nets; pop homomorphism; non-expansive map; weight function; cartesian closed category; model for the untyped -calculus; pop completion; domain completion; Mazurkiewicz traces; real traces; -traces; -traces; topology of traces},
language = {eng},
title = {Partially ordered sets with projections and their topology},
url = {http://eudml.org/doc/286056},
year = {2004},
}

TY - BOOK
AU - Ralph Kummetz
TI - Partially ordered sets with projections and their topology
PY - 2004
AB - The present monograph is a revised and extended version of my PhD thesis submitted to and defended at the Department of Mathematics, Dresden University of Technology, 2000. First of all, I would like to thank my supervisor, Manfred Droste. His questions on the topology of Mazurkiewicz traces marked the starting point of my research. I am very grateful for his guidance and his perpetual interest. Several people assisted me with my research. In particular, I owe many thanks to Dietrich Kuske. I benefited a lot from the stimulating discussions with him. After all, they have led to the characterization of the topology of real traces in Chapter 6. I am also indebted to Achim Jung. His suggestion to extend the notion of a "pop" has culminated in a separate chapter (Chapter 2). With their invaluable suggestions, the referees of my PhD thesis-Manfred Droste, Achim Jung, and Ralph Kopperman-helped improve this monograph a lot. I greatly acknowledge the support of the PhD programme "Specification of discrete processes and systems of processes by operational models and logics" (Department of Computer Science) as well as the pleasant atmosphere at the Institute of Algebra (Department of Mathematics) at Dresden University of Technology. Finally, I wish to thank Szisza Zvada for her emotional support and encouragement.
LA - eng
KW - poset with approximating mappings; poset with projections; continuous poset; algebraic poset; dcpo; FS-domain; bifinite domain; P-domain; F-uniformity; F-topology; pop uniformity; pop topology; convergence of monotone nets; pop homomorphism; non-expansive map; weight function; cartesian closed category; model for the untyped -calculus; pop completion; domain completion; Mazurkiewicz traces; real traces; -traces; -traces; topology of traces
UR - http://eudml.org/doc/286056
ER -