Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


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

Tytuł artykułu

On definably proper maps

Treść / Zawartość

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.

Rocznik

Tom

233

Numer

1

Strony

1-36

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

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-doi-10_4064-fm96-12-2015