A theorem on order extensions: Embeddability of a system of weak orders to meet solvability constraints

From MaRDI portal