ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES

被引：6

作者：

Eleftheriou, Pantelis E. ^{[1
,2
]}

Hasson, Assaf ^{[3
]}

Keren, Gil ^{[3
]}

机构：

[1] Univ Konstanz, Zukunftskolleg, Box 216, D-78457 Constance, Germany

[2] Univ Konstanz, Dept Math & Stat, Box 216, D-78457 Constance, Germany

[3] Ben Gurion Univ Negev, Dept Math, Beer Sheva, Israel

来源：

JOURNAL OF SYMBOLIC LOGIC | 2017年 / 82卷 / 04期

基金：

以色列科学基金会;

关键词：

weakly o-minimal structures; definable Skolem functions; o-minimal traces; EXPANSIONS; PAIRS;

D O I：

10.1017/jsl.2017.28

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove that all known examples of weakly o-minimal nonvaluational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to definable families of cuts. Along the way we give some new examples of weakly o-minimal nonvaluational structures.

引用

页码：1482 / 1495

页数：14

共 50 条

[1] Weakly o-minimal nonvaluational structures
Wencel, Roman
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2008, 154 (03) : 139 - 162
[2] Fundamental group in o-minimal structures with definable Skolem functions
Dinis, Bruno
Edmundo, Mario J.
Mamino, Marcello
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2021, 172 (08)
[3] Tame properties of sets and functions definable in weakly o-minimal structures
Eivazloo, Jafar S.
Tari, Somayyeh
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (3-4): : 433 - 447
[4] Tame properties of sets and functions definable in weakly o-minimal structures
Jafar S. Eivazloo
Somayyeh Tari
[J]. Archive for Mathematical Logic, 2014, 53 : 433 - 447
[5] On gradients of functions definable in o-minimal structures
Kurdyka, K
[J]. ANNALES DE L INSTITUT FOURIER, 1998, 48 (03) : 769 - +
[6] The Positivstellensatz for definable functions on O-minimal structures
Acquistapace, F
Andradas, C
Broglia, F
[J]. ILLINOIS JOURNAL OF MATHEMATICS, 2002, 46 (03) : 685 - 693
[7] Bifurcation sets of definable functions in O-minimal structures
Escribano, J
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2002, 130 (08) : 2419 - 2424
[8] TOPOLOGICAL PROPERTIES OF SETS DEFINABLE IN WEAKLY O-MINIMAL STRUCTURES
Wencel, Roman
[J]. JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (03) : 841 - 867
[9] Bifurcation sets of functions definable in o-minimal structures
Loi, TL
Zaharia, A
[J]. ILLINOIS JOURNAL OF MATHEMATICS, 1998, 42 (03) : 449 - 457
[10] Definable functions continuous on curves in o-minimal structures
Ramakrishnan, Janak
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (7-8) : 1339 - 1351

← 1 2 3 4 5 →