PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 233 | 1 | 1-36
Tytuł artykułu

On definably proper maps

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this paper we work in o-minimal structures with definable Skolem functions, and show that: (i) a Hausdorff definably compact definable space is definably normal; (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 definable 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.
Słowa kluczowe
Rocznik
Tom
233
Numer
1
Strony
1-36
Opis fizyczny
Daty
wydano
2016
Twórcy
  • Universidade Aberta, Rua Braamcamp 90, 1250-052 Lisboa, Portugal
  • CMAF Universidade de Lisboa, Av. Prof. Gama Pinto 2, 1649-003 Lisboa, Portugal
  • Laboratoire d'Informatique de l'École Polytechnique (LIX), Bâtiment Turing, bureau 2011, 1 rue Honoré d'Estienne d'Orves, Campus de l'École Polytechnique, 91120 Palaiseau, France
autor
  • CMAF Universidade de Lisboa, Av. Prof. Gama Pinto 2, 1649-003 Lisboa, Portugal
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm96-12-2015
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.