Order embeddings of real matrix domains

Peter Semrl

Let $n$ be a positive integer, $n\ne 1$, and $S_n$ the set of all $n\times n$ real symmetric matrices. A nonempty subset $\U \subset S_n$ is called a matrix domain if it is open…