40 Years of Computing at Newcastle

Department Technical Report Series No. 425

Order Structures and Generalisations of Szpilrajn's Theorem

R. Janicki
M. Koutny

University of Newcastle upon Tyne. 1993

Abstract

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.