×

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).

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