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 条
  • [31] The Central Limit Theorem on SO0(p, q)/SO(p)×SO(q)
    P. Sawyer
    Journal of Theoretical Probability, 2001, 14 : 857 - 866
  • [32] The central limit theorem on SO0(p,q)/SO(p)xSO(q)
    Sawyer, P
    JOURNAL OF THEORETICAL PROBABILITY, 2001, 14 (03) : 857 - 866
  • [33] EUCLIDEAN VERSION OF HAAGS THEOREM IN P(GAMMA)2 THEORIES
    SCHRADER, R
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 1974, 36 (02) : 133 - 136
  • [34] Lebesgue’s density theorem and definable selectors for ideals
    Sandra Müller
    Philipp Schlicht
    David Schrittesser
    Thilo Weinert
    Israel Journal of Mathematics, 2022, 249 : 501 - 551
  • [35] ON MAXIMAL STABLE QUOTIENTS OF DEFINABLE GROUPS IN NIP THEORIES
    Haskel, Mike
    Pillay, Anand
    JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (01) : 117 - 122
  • [36] Unstable structures definable in o-minimal theories
    Hasson, Assaf
    Onshuus, Alf
    SELECTA MATHEMATICA-NEW SERIES, 2010, 16 (01): : 121 - 143
  • [37] Unstable structures definable in o-minimal theories
    Assaf Hasson
    Alf Onshuus
    Selecta Mathematica, 2010, 16 : 121 - 143
  • [38] MEYNIEL THEOREM FOR STRONGLY (P, Q)-HAMILTONIAN DIGRAPHS
    WOJDA, AP
    JOURNAL OF GRAPH THEORY, 1981, 5 (03) : 333 - 335
  • [39] A MULTIPLICITY THEOREM FOR PARAMETRIC SUPERLINEAR (p, q)-EQUATIONS
    Onete, Florin-Iulian
    Papageorgiou, Nikolaos S.
    Vetro, Calogero
    OPUSCULA MATHEMATICA, 2020, 40 (01) : 131 - 149
  • [40] Lebesgue's density theorem and definable selectors for ideals
    Mueller, Sandra
    Schlicht, Philipp
    Schrittesser, David
    Weinert, Thilo
    ISRAEL JOURNAL OF MATHEMATICS, 2022, 249 (02) : 501 - 551
12345