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 条
  • [41] Linearity of groups definable in o-minimal structures
    Olivier Frécon
    Selecta Mathematica, 2017, 23 : 1563 - 1598
  • [42] Measuring definable sets in o-minimal fields
    Jana Maříková
    Masahiro Shiota
    Israel Journal of Mathematics, 2015, 209 : 687 - 714
  • [43] ON EXPANDING COUNTABLY CATEGORICAL WEAKLY O-MINIMAL THEORIES BY BINARY PREDICATES
    Baizhanov, S. S.
    Kulpeshov, B. Sh.
    NEWS OF THE NATIONAL ACADEMY OF SCIENCES OF THE REPUBLIC OF KAZAKHSTAN-SERIES PHYSICO-MATHEMATICAL, 2018, 1 (317): : 18 - 24
  • [44] Criterion for binarity of ℵ0-categorical weakly o-minimal theories
    Kulpeshov, B. Sh.
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 145 (03) : 354 - 367
  • [45] Strongly minimal expansions of (C,+) definable in o-minimal fields
    Hasson, Assaf
    Kowalski, Piotr
    PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2008, 97 : 117 - 154
  • [46] ALMOST ω-CATEGORICAL WEAKLY o-MINIMAL THEORIES OF CONVEXITY RANK 1
    Kulpeshov, B. Sh.
    Mustafin, T. S.
    SIBERIAN MATHEMATICAL JOURNAL, 2021, 62 (01) : 52 - 65
  • [47] o-minimal theories with an automorphism
    Duby, G
    COMPTES RENDUS MATHEMATIQUE, 2002, 335 (05) : 417 - 420
  • [48] Pillay's conjecture for groups definable in weakly o-minimal non-valuational structures
    Eleftheriou, Pantelis E.
    BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2021, 53 (04) : 1205 - 1219
  • [49] DIRECTIONAL PROPERTIES OF SETS DEFINABLE IN O-MINIMAL STRUCTURES
    Koike, Satoshi
    Ta Le Loi
    Paunescu, Laurentiu
    Shiota, Masahiro
    ANNALES DE L INSTITUT FOURIER, 2013, 63 (05) : 2017 - 2047
  • [50] HIGHER HOMOTOPY OF GROUPS DEFINABLE IN O-MINIMAL STRUCTURES
    Berarducci, Alessandro
    Mamino, Marcello
    Otero, Margarita
    ISRAEL JOURNAL OF MATHEMATICS, 2010, 180 (01) : 143 - 161
12345