Definable choice for a class of weakly o-minimal theories

被引：2
|
作者：
Laskowski, Michael C. [1 ]
Shaw, Christopher S. [2 ]
机构：
[1] Univ Maryland, Dept Math, College Pk, MD 20742 USA
[2] Columbia Coll Chicago, Dept Sci & Math, 600 S Michigan Ave, Chicago, IL 60605 USA
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2016年 / 55卷 / 5-6期
关键词：
Weakly o-minimal; Skolem functions; Definable choice; ORDERED STRUCTURES; TAME EXTENSIONS; T-CONVEXITY; SETS; PAIRS;
D O I：
10.1007/s00153-016-0490-y
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Given an o-minimal structure with a group operation, we show that for a properly convex subset U, the theory of the expanded structure has definable Skolem functions precisely when is valuational. As a corollary, we get an elementary proof that the theory of any such does not satisfy definable choice.
引用
下载
收藏
页码：735 / 748
页数：14
相关论文
共 50 条
  • [1] Definable choice for a class of weakly o-minimal theories
    Michael C. Laskowski
    Christopher S. Shaw
    Archive for Mathematical Logic, 2016, 55 : 735 - 748
  • [2] On the Boolean algebras of definable sets in weakly o-minimal theories
    Leonesi, S
    Toffalori, C
    MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (03) : 241 - 248
  • [3] Unstable structures definable in o-minimal theories
    Hasson, Assaf
    Onshuus, Alf
    SELECTA MATHEMATICA-NEW SERIES, 2010, 16 (01): : 121 - 143
  • [4] Unstable structures definable in o-minimal theories
    Assaf Hasson
    Alf Onshuus
    Selecta Mathematica, 2010, 16 : 121 - 143
  • [5] Definable one dimensional structures in o-minimal theories
    Assaf Hasson
    Alf Onshuus
    Ya’acov Peterzil
    Israel Journal of Mathematics, 2010, 179 : 297 - 361
  • [6] DEFINABLE ONE DIMENSIONAL STRUCTURES IN O-MINIMAL THEORIES
    Hasson, Assaf
    Onshuus, Alf
    Peterzil, Ya'acov
    ISRAEL JOURNAL OF MATHEMATICS, 2010, 179 (01) : 297 - 361
  • [7] SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
    Conversano, Annalisa
    Onshuus, Alf
    Starchenko, Sergei
    JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU, 2018, 17 (02) : 441 - 452
  • [8] ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES
    Eleftheriou, Pantelis E.
    Hasson, Assaf
    Keren, Gil
    JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (04) : 1482 - 1495
  • [9] TOPOLOGICAL PROPERTIES OF SETS DEFINABLE IN WEAKLY O-MINIMAL STRUCTURES
    Wencel, Roman
    JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (03) : 841 - 867
  • [10] DEFINABLE STRUCTURES IN O-MINIMAL THEORIES: ONE DIMENSIONAL TYPES
    Hasson, Assaf
    Onshuus, Alf
    Peterzil, Ya'acov
    ISRAEL JOURNAL OF MATHEMATICS, 2010, 179 (01) : 363 - 379
12345