Toggle Main Menu Toggle Search

Open Access padlockePrints

Order Structures and Generalisations of Szpilrajn's Theorem

Lookup NU author(s): Professor Maciej KoutnyORCiD



Relational structures of the form (X, R1, R2), with R1 ? R2 ? X x X, R1 being a poset interpreted as causality, R2 being interpreted as 'not later than' or 'weak causality' relation, are considered. Szpilrajn's theorem that each poset is the intersection of its total extensions is generalised to such structures; the interpretation and applications of the results obtained are discussed.

Publication metadata

Author(s): Janicki R, Koutny M

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1993

Pages: 10

Report Number: 425

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne