Meseguer, J. Completions, factorizations and colimits for omega-posets. (English) Zbl 0486.06003 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 509-545 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 Documents MSC: 06A06 Partial orders, general 18A32 Factorization systems, substructures, quotient structures, congruences, amalgams 68Q60 Specification and verification (program logics, model checking, etc.) 06B23 Complete lattices, completions Keywords:program semantics; omega complete partially ordered set; countable ascending chains; omega-continuous operations; epi-mono factorization systems; filtered colimits Citations:Zbl 0476.00024; Zbl 0368.18006; Zbl 0445.18008 PDFBibTeX XML