THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES

被引：4
|
作者：
Boxall, Gareth [1 ]
Kestner, Charlotte [2 ]
机构：
[1] Stellenbosch Univ, Dept Math Sci, ZA-7600 Stellenbosch, South Africa
[2] Univ Cent Lancashire, Dept Phys Sci & Comp, Jeremiah Horrocks Inst Math Phys & Astron, Fylde Rd, Preston PR1 2HE, Lancs, England
来源：
JOURNAL OF SYMBOLIC LOGIC | 2018年 / 83卷 / 01期
关键词：
definable; (p; q); distality; forking; NIP; FORKING;
D O I：
10.1017/jsl.2016.72
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Answering a special case of a question of Chernikov and Simon, we show that any nondividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M.
引用
收藏
页码：123 / 127
页数：5
相关论文
共 50 条
  • [41] A WIENER TYPE THEOREM FOR (U(p, q), Hn)
    Saal, Linda
    COLLOQUIUM MATHEMATICUM, 2010, 119 (02) : 169 - 180
  • [42] On absorption's formula definable semigroups of complete theories
    Bekenov, Mahsut
    Kassatova, Aida
    Nurakunov, Anvar
    ARCHIVE FOR MATHEMATICAL LOGIC, 2025, 64 (1-2) : 107 - 116
  • [43] COMBINED 4Q DISTAL SYNDROME AND 6P DISTAL TRISOMY
    MAGNANI, C
    MANINI, M
    FORABOSCO, A
    RIVISTA ITALIANA DI PEDIATRIA-ITALIAN JOURNAL OF PEDIATRICS, 1982, 8 (04): : 580 - 580
  • [44] A CASE OF DENOVO, DOUBLE, BALANCED TRANSLOCATIONS (DISTAL 9P TO 3P, DISTAL 18Q TO 3Q)
    HALL, JE
    HART, EJ
    JOURNAL OF MEDICAL GENETICS, 1986, 23 (04) : 369 - 369
  • [45] Definable choice for a class of weakly o-minimal theories
    Laskowski, Michael C.
    Shaw, Christopher S.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2016, 55 (5-6) : 735 - 748
  • [46] DEFINABLE ONE DIMENSIONAL STRUCTURES IN O-MINIMAL THEORIES
    Hasson, Assaf
    Onshuus, Alf
    Peterzil, Ya'acov
    ISRAEL JOURNAL OF MATHEMATICS, 2010, 179 (01) : 297 - 361
  • [47] The Marker-Steinhorn Theorem via Definable Linear Orders
    Walsberg, Erik
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2019, 60 (04) : 701 - 706
  • [48] Definable one dimensional structures in o-minimal theories
    Assaf Hasson
    Alf Onshuus
    Ya’acov Peterzil
    Israel Journal of Mathematics, 2010, 179 : 297 - 361
  • [49] Definable choice for a class of weakly o-minimal theories
    Michael C. Laskowski
    Christopher S. Shaw
    Archive for Mathematical Logic, 2016, 55 : 735 - 748
  • [50] A condition for the reduction of couplings in the P=13 Q supersymmetric theories
    Kuzmichev, M. D.
    Stepanyantz, K. V.
    PHYSICS LETTERS B, 2023, 844
12345