Definable quotients in locally o-minimal structures
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909983851937792 |
|---|---|
| author | Fujita, Masato Kawakami, Tomohiro |
| author_facet | Fujita, Masato Kawakami, Tomohiro |
| contents | Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when $X$ is a locally closed definable subset of $F^n$ and there is a definable proper action of a definable group $G$ on $X$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_06401 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Definable quotients in locally o-minimal structures Fujita, Masato Kawakami, Tomohiro Logic 03C64, 54B15, 57S99 Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when $X$ is a locally closed definable subset of $F^n$ and there is a definable proper action of a definable group $G$ on $X$. |
| title | Definable quotients in locally o-minimal structures |
| topic | Logic 03C64, 54B15, 57S99 |
| url | https://arxiv.org/abs/2212.06401 |