Please use this identifier to cite or link to this item:
http://hdl.handle.net/10174/38963
|
| Title: | On definable Skolem functions and trichotomy |
| Authors: | Dinis, Bruno
Edmundo, Mario |
| Keywords: | O-minimal structures
definable Skolem functions
definable choice
trichotomy |
| Issue Date: | 2025 |
| Publisher: | Elsevier |
| Citation: | Bruno Dinis, Mário J. Edmundo,
On definable Skolem functions and trichotomy,
Annals of Pure and Applied Logic,
2025,103632,
ISSN 0168-0072, |
| Abstract: | In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over ∅ and finitely many open intervals each a union of a ∅-definable family of group-intervals with fixed positive elements. |
| URI: | https://www.sciencedirect.com/science/article/pii/S0168007225000818
http://hdl.handle.net/10174/38963 |
| Type: | article |
| Appears in Collections: | MAT - Publicações - Artigos em Revistas Internacionais Com Arbitragem Científica
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
/
Departamento de Matemática /
MAT - Publicações - Artigos em Revistas Internacionais Com Arbitragem Científica /
