Linearization of definable order relations

From MaRDI portal
Publication:1964145