On definably proper maps (Q2787129)

The authors mainly work in the category of Hausdorff definable spaces over an o-minimal structure with definable Skolem functions. Their main results are: {\parindent=0.8cm \begin{itemize}\item[(i)] A definably compact space is definably normal. \item[(ii)] A locally definably compact space admits a local almost everywhere curve selection; definable compactness is preserved under elementary extensions and o-minimal expansions. \item[(iii)] A morphism into a locally definably compact space is definably proper iff it is proper in the category of definable spaces iff it is definably closed with definably compact fibers. \item[(iv)] Definable properness is preserved under elementary extensions and, if into a locally definably compact space, o-minimal expansions. \item[(v)] ``Definably proper'' is equivalent to ``lifts completability of definable curves''. NEWLINENEWLINE\end{itemize}} In the case of expansions of the ordered set of reals, ``definably compact'' means ``compact'' and ``definably proper'' into a locally definably compact space means ``proper''. ``Definably compact'' is also equivalent to the sentence ``each definable type has a limit''. For a morphism \(f:X \to Y\) into a locally definably compact space, ``definably proper'' is equivalent to the statement ``for a definable type \(p\), if \(\tilde{f}(p)\) has a limit in \(Y\), then \(p\) has a limit in \(X\)''.