In this paper we work in o-minimal structures with definable Skolem func-tions, and show that: (i) a Hausdorff definably compact definable space is definably nor-mal; (ii) a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is a proper morphism in the category of dfinable spaces. We give several other characterizations of definably proper, including one involving the existence of limits of definable types. We also prove the basic properties of definably proper maps and the invariance of definably proper (and definably compact) in elementary extensions and o-minimal expansions.

On definably proper maps

Mamino, Marcello;
2016-01-01

Abstract

In this paper we work in o-minimal structures with definable Skolem func-tions, and show that: (i) a Hausdorff definably compact definable space is definably nor-mal; (ii) a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is a proper morphism in the category of dfinable spaces. We give several other characterizations of definably proper, including one involving the existence of limits of definable types. We also prove the basic properties of definably proper maps and the invariance of definably proper (and definably compact) in elementary extensions and o-minimal expansions.
2016
Edmundo, Mário J.; Mamino, Marcello; Prelli, Luca
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/912597
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 5
social impact