Pith. sign in

REVIEW 1 major objections 4 minor 2 cited by

Externally definable fsg groups in NIP theories

T0 review · 1 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that in any NIP theory, every externally definable group with finitely satisfiable generics is definably isomorphic to a group definable in the original theory, and it uses this to settle Eleftheriou's conjecture for…

desk verdict A strong, mostly careful paper: the main fsg classification is new and convincing, with one repairable gap in the measure-transfer proof. read the letter →

arxiv 2506.23265 v1 pith:NVI5STZA submitted 2025-06-29 math.LO math.GR

Artem Chernikov This is my paper
classification math.LOmath.GR MSC 03C4503C6003C64
keywords NIPtheoriesexternallydefinablegroupsShelahexpansionfsggenericallystablemeasuresKeislergroupchunktheoremEleftheriouconjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a collapse result for tame groups in NIP theories: if a group is externally definable in a model — that is, definable in the Shelah expansion by sets cut out with parameters from an elementary extension — and has finitely satisfiable generics (fsg), it is definably isomorphic to a group definable in the original structure. The fsg condition is the model-theoretic analogue of compactness, forcing the existence of a canonical translation-invariant generically stable measure. The proof transfers that measure back to the base theory, then uses a new hyper-definable group chunk theorem to reconstruct the group from its multiplication on a measure-one partial type. A consequence is that the fsg groups definable in the Shelah expansion are, up to definable isomorphism, exactly the fsg definable groups of the base theory, which yields Eleftheriou's conjecture for real closed valued fields.

What carries the argument

The argument runs on three machines. Honest definitions replace each externally definable relation by an internal approximant, controlling the passage from the Shelah expansion back to the base theory. The measure transfer theorem (Theorem 3.9) identifies global generically stable Keisler measures in the base theory with those in the expansion, so an fsg group's canonical invariant measure descends. A hyper-definable group chunk (Theorem 4.18), generalizing the classical group chunk theorem from definable to type-definable partial types, reconstructs a hyper-definable group from generic multiplication on a partial type; an eliminability result (Proposition 5.11) then converts such a group into an ordinary definable group in M^eq when it is type-definably isomorphic to a definable group in an expansion.

What would settle it

A direct way to refute the main claim is to produce an NIP theory T and model M with a generically stable measure in Th(M^Sh) whose restriction to the base language is not generically stable in T, or a generically stable measure in T with two distinct generically stable extensions to Th(M^Sh); either failure would break Theorem 3.9 and, with it, the proof of Theorem 5.14. A still more direct counterexample would be an fsg group definable in M^Sh whose isomorphism class contains no group definable in M^eq and fsg in T.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 5.14: for T NIP and M a model, a group G definable in the Shelah expansion M^Sh is fsg in Th(M^Sh) if and only if it is definably (in M^Sh) isomorphic to a group definable in M^eq and fsg in T. The proof also establishes that externally definable fsg subgroups of definable groups are already definable (Theorem 3.10), that under saturation a type-definable fsg group whose points are externally definable is definable (Theorem 3.14), and that externally type-definable definably amenable subgroups are directed unions of stabilizers of generically stable measures that live in the base theory (Propositions 3.56 and 3.58).

Load-bearing premise

The load-bearing premise is the bijection between global generically stable measures in the original theory and in the Shelah expansion (Theorem 3.9); if some NIP theory failed to admit such a transfer, the reconstruction of an externally definable fsg group as an internal definable group would not get off the ground.

Editorial extensions

If this is right

  • In real closed valued fields, every definable fsg group is definably isomorphic to a group definable in the real closed field reduct, proving Eleftheriou's conjecture (Corollary 5.19).
  • In any o-minimal theory, every fsg group definable in the Shelah expansion is definably isomorphic to a definable group in the original structure (Corollary 5.19).
  • An externally definable fsg subgroup of a definable group is already definable in the base theory, and the type-definable variant holds as well (Theorem 3.10).
  • For a sufficiently saturated model, a type-definable fsg group whose point set is externally definable is definable (Theorem 3.14).
  • Externally type-definable, definably amenable subgroups of definable groups are directed unions of stabilizers of generically stable measures that are type-definable in the base theory, with a uniformly directed description over the model (Propositions 3.56 and 3.58).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The measure transfer bijection (Theorem 3.9) suggests that other measure-theoretic invariants of NIP groups—such as the Ellis group or the archimedean rank of local connected components—might also pass canonically between a theory and its Shelah expansion; this is not shown in the paper.
  • Because the group chunk needs only generic multiplication on a type-definable partial type, the same reconstruction strategy could apply beyond the fsg setting, whenever a translation-invariant generically stable measure exists, or to tame expansions admitting honest definitions.
  • The eliminability step (Proposition 5.11) is a general device: any hyper-definable object that is type-definably isomorphic to a definable object in some expansion collapses to an interpretable one, which may clarify the definable-versus-interpretable gap in other NIP constructions.
  • For other tame expansions such as dense pairs or expansions by cuts, the same transfer–chunk–eliminate route would plausibly show that externally definable fsg groups collapse to internal definable groups; verifying this would extend the paper's reach beyond Shelah's expansion.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper studies externally definable groups in NIP theories, focusing on groups with finitely satisfiable generics (fsg). The main theorem (Theorem 5.14) states that, for an NIP theory T and a model M, a group definable in the Shelah expansion M^Sh is fsg in Th(M^Sh) if and only if it is definably (in M^Sh) isomorphic to a group definable in M^eq and fsg in T. The proof combines three ingredients: a transfer theorem for global generically stable measures between T and Th(M^Sh) (Theorem 3.9), a hyperdefinable group-chunk theorem for partial type-definable types (Theorem 4.18), and an eliminability result replacing a hyperdefinable group by a definable group in M^eq (Proposition 5.11). The paper also proves that externally definable fsg subgroups of definable groups are already definable (Theorem 3.10), that type-definable fsg groups which are externally definable are definable (Theorem 3.14), gives a description of externally type-definable definably amenable subgroups as directed unions of type-definable stabilizers (Theorem 3.46, Proposition 3.56, Theorem 3.58), and derives the Eleftheriou conjecture for fsg groups in real closed valued fields (Corollary 5.19).

Significance. If correct, the main theorem gives a definitive structural result for externally definable fsg groups in NIP theories and settles a conjecture of Eleftheriou for RCVF. The paper introduces useful new tools, including a hyperdefinable presentation of the space of global generically stable measures (Section 3.4) and a measure-theoretic group chunk theorem for partial type-definable types (Theorem 4.18). The exposition is careful and modular, with most claims proved in place; the reduction of Theorem 5.14 to the three cited intermediate results is explicit. The main correction needed is local: the proof of the measure-transfer theorem relies on a false general principle about global coheirs, although the required instance is true and provable from the paper's own Lemma 3.8.

major comments (1)
  1. [Theorem 3.9 (and the proof of Theorem 3.14)] In the proof of Theorem 3.9, the step constructing \bar{\mu}_2 says: 'every measure over a model has a global coheir, by Fact 2.16 applied to externally definable subsets of this model.' This general assertion is false: in RCF with M=R, the Dirac measure at the type p(x) extending x^2+1=0 has \delta_p(x^2+1=0)=1 but no realization of x^2+1=0 in R, so \delta_p has no global extension finitely satisfiable in R. The same false sentence appears in the proof of Theorem 3.14. The needed instance is nonetheless true in both arguments: in Theorem 3.9, the measure \bar{\mu} is generically stable over the coherent model M1, so \mu=\bar{\mu}|_{M1} is finitely satisfiable in M1; using the approximation formula in Lemma 3.8(1), \mu_1 inherits finite satisfiability in M1, and then a global extension finitely satisfiable in M1 exists by Los-Marczewski (Fact 2.16) applied to the relevant Boolean algebras. This repair is not present, and since Theorem 3.9 is the load-bearing transfer result for Theorem 5.14, the proof must be corrected at this point.
minor comments (4)
  1. [Title and header] There is a typo in the title and running header: 'EXTERNALL Y' should be 'EXTERNALLY'.
  2. [Example 3.4] The proof of Example 3.4 invokes 'the analysis of formulas in T in [11, Theorem 3.16] (omitted in the final version of the paper [12])'. Since [12] is the published version and omits the cited theorem, the example depends on an unpublished argument; please make the example self-contained or supply a precise published reference.
  3. [Corollary 5.19] In (1), 'If T is o-minimal' should be 'If T is an o-minimal theory'. In (2), it would be clearer to state explicitly that the isomorphism is definable in M2 (the Shelah expansion), matching the language of Theorem 5.14 and Remark 5.18.
  4. [Definition 3.22 and surrounding notation] In the definition of the hyperdefinable set X, the condition involving Dx(\varphi_1(x,b_1)\wedge \varphi_2(x,b_2)) would be easier to read if the universal quantifiers over b_1,b_2 were displayed before the inner quantifier over x; this is standard but the current formatting obscures the intended hierarchy of quantifiers.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the main theorems are proved from new intermediate results, and the paper's self-citations are not load-bearing in the relevant sense.

full rationale

I find no step in which a claimed prediction or first-principles result is equivalent to its inputs by construction. The central result, Theorem 5.14, is derived through genuinely new intermediate theorems: Theorem 3.9 transfers generically stable measures between T and Th(M^Sh) via Lemma 3.8 and generic-stability facts; Theorem 4.18 is a hyperdefinable group chunk theorem proved from the chunk axioms; and Proposition 5.11 is a compactness argument reducing hyperdefinability to definability in M^eq. None of these steps assumes the theorem being proved. The paper does cite the author's prior work, notably [13] for preservation of fsg in Shelah expansions and [14] for honest definitions, but these are used as external tools, not as the sole justification of the main converse. The self-citation is therefore present but not load-bearing for the main claim. One proof gap should be noted as a correctness concern rather than circularity: in the proof of Theorem 3.9, the sentence 'every measure over a model has a global coheir, by Fact 2.16 applied to externally definable subsets of this model' is false as a general principle, since a Dirac measure concentrated on a non-realized type over a model has no finitely satisfiable global extension. In the specific application, however, the measure involved is already finitely satisfiable in the relevant model by generic stability, so the intended coheir can be supplied and the theorem's conclusion is not being assumed. Thus this is a proof gap, not a circular step. Overall, the derivation chain is self-contained and the circularity score is low.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical free parameters or invented entities are introduced; the paper is a pure mathematical derivation. The axioms listed are the standard model-theoretic background and imported theorems on which the proof rests. The central group chunk theorem, Theorem 4.18, is proved inside the paper, not assumed.

assumptions (5)
  • domain assumption T is a complete NIP first-order theory and M is a sufficiently saturated model, following Definition 2.1.
    The entire framework of Shelah expansion, honest definitions, and Keisler measures requires NIP and a monster-model setup. Used throughout the paper.
  • domain assumption Shelah's theorem that the expansion M^Sh by all externally definable sets eliminates quantifiers and remains NIP (Fact 2.2).
    Imported from [50]. It guarantees that T1 = Th(M^Sh) is NIP and underlies all transfer arguments between T and T1.
  • domain assumption Existence of honest definitions for externally definable sets, with the invariant-type 'moreover' clause (Fact 2.4).
    Imported from [14, Corollary 1.3]. Used in Lemma 3.8 and in the proof of Theorem 5.14 to lift definability from M to M^Sh.
  • standard math Every Keisler measure over a model can be extended to a global coheir via the Los-Marczewski extension theorem (Fact 2.16).
    Used in Theorems 3.9 and 3.14 to produce measures that are finitely satisfiable over the model, a key step in transferring generic stability.
  • domain assumption Known preservation results for fsg and definable amenability under Shelah expansion (Fact 2.37, from [13]).
    Imported from prior work. Gives the converse direction of Theorem 5.14 and supports several applications, including Corollary 3.13.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Externally definable fsg groups in NIP theories." pith.science (2026). https://pith.science/paper/NVI5STZA

@misc{pith2026250623265,
  author       = {Pith},
  title        = {Pith review of: Externally definable fsg groups in NIP theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NVI5STZA}},
  note         = {Machine review of arXiv:2506.23265}
}
read the original abstract

We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its multiplication given generically with respect to a translation invariant definable Keisler measure on it. We obtain related results on externally (type-)definable sets and groups, including a proof of a conjecture of Eleftheriou on fsg groups in real closed valued fields, and a description of externally definable, definably amenable subgroups of definable groups.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Some results on NIP groups and their Ellis groups

    math.LO 2026-07 accept novelty 8.0 of 10

    In NIP theories, the Ellis group of any definable group has size at most 2^|T|, independent of the model; under bounded VC-codensity it (and the local quotient G/G^00_φ) is an inverse limit of compact Lie groups of di...

  2. Group Chunks in Model Theory and Algebraic Geometry

    math.AG 2026-07 conditional novelty 7.0 of 10

    A site-theoretic group chunk theorem unifies model-theoretic and algebro-geometric constructions, and an algebro-geometric analogue of Hrushovski's method builds groups from canonical families of rational maps over ge...

Reference graph

Works this paper leans on

61 extracted references · 56 canonical work pages · cited by 2 Pith papers

  1. [1]

    Paires de structures o-minimales

    Yerzhan Baisalov and Bruno Poizat. Paires de structures o-minimales. The Journal of Symbolic Logic, 63(2):570–578, 1998

    work page 1998

  2. [2]

    Spectral Spaces in o-minimal and other NIP theories

    El ´ ıas Baro, Jos´ e F. Fernando, and Daniel Palac ´ ın. Spectral Spaces in o-minimal and other NIP theories. Preprint, arXiv:2208.00954 [math.LO] (2022), 2022

    work page Pith review arXiv 2022

  3. [3]

    Open core and small groups in dense pairs of topological structures

    El ´ ıas Baro and Amador Martin-Pizarro. Open core and small groups in dense pairs of topological structures. Annals of Pure and Applied Logic , 172(1):102858, 2021

    work page 2021

  4. [4]

    Ellis enveloping semigroups in real closed fields

    El ´ ıas Baro and Daniel Palac ´ ın. Ellis enveloping semigroups in real closed fields. Revista de la Real Academia de Ciencias Exactas, F ´ ısicas y Naturales. Serie A. Matem´ aticas, 118(2):69, 2024

    work page 2024

  5. [5]

    Simple theories and hyperimaginaries

    Enrique Casanovas. Simple theories and hyperimaginaries . Number 39. Cambridge University Press, 2011. 70 ARTEM CHERNIKOV

    work page 2011

  6. [6]

    Model theory, Keisler measures, and groups

    Artem Chernikov. Model theory, Keisler measures, and groups. Bulletin of Symbolic Logic, 24(3):336–339, 2018

    work page 2018

  7. [7]

    Definable convolution and idempotent Keisler measures

    Artem Chernikov and Kyle Gannon. Definable convolution and idempotent Keisler measures. Israel Journal of Mathematics , 248(1):271–314, 2022

    work page 2022

  8. [8]

    Definable convolution and idempotent Keisler measures, II

    Artem Chernikov and Kyle Gannon. Definable convolution and idempotent Keisler measures, II. Model Theory, 2(2):185–232, 2023

    work page 2023

Show all 61 references
  1. [9]

    Definable convolution and idempotent Keisler measures III

    Artem Chernikov, Kyle Gannon, and Krzysztof Krupi´ nski. Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski’s conjecture. Preprint, arXiv:2406.00912, 2024

    2024 arXiv

  2. [10]

    Forking and dividing in NTP2 theories

    Artem Chernikov and Itay Kaplan. Forking and dividing in NTP2 theories. The Jour- nal of Symbolic Logic , 77(1):1–20, 2012

    2012

  3. [11]

    Semi-equational theories

    Artem Chernikov and Alex Mennen. Semi-equational theories. Preprint, arXiv:2204.13790v1 [math.LO] (2022), 2022

    2022 arXiv

  4. [12]

    Semi-equational theories

    Artem Chernikov and Alex Mennen. Semi-equational theories. The Journal of Sym- bolic Logic, 90(1):391–422, 2025

    2025

  5. [13]

    External definability and groups in NIP theories

    Artem Chernikov, Anand Pillay, and Pierre Simon. External definability and groups in NIP theories. Journal of the London Mathematical Society , 90(1):213–240, 2014

    2014

  6. [14]

    Externally definable sets and dependent pairs

    Artem Chernikov and Pierre Simon. Externally definable sets and dependent pairs. Israel Journal of Mathematics , 194(1):409–425, 2013

    2013

  7. [15]

    Externally definable sets and dependent pairs II

    Artem Chernikov and Pierre Simon. Externally definable sets and dependent pairs II. Transactions of the American Mathematical Society , 367(7):5217–5235, 2015

    2015

  8. [16]

    Definably amenable NIP groups

    Artem Chernikov and Pierre Simon. Definably amenable NIP groups. Journal of the American Mathematical Society, 31(3):609–641, 2018

    2018

  9. [17]

    Regularity lemma for distal structures

    Artem Chernikov and Sergei Starchenko. Regularity lemma for distal structures. J. Eur. Math. Soc. (JEMS) , 20(10):2437–2466, 2018

    2018

  10. [18]

    Definable regularity lemmas for NIP hyper- graphs

    Artem Chernikov and Sergei Starchenko. Definable regularity lemmas for NIP hyper- graphs. Q. J. Math. , 72(4):1401–1433, 2021

    2021

  11. [19]

    Remarks on generic stability in independent the- ories

    Gabriel Conant and Kyle Gannon. Remarks on generic stability in independent the- ories. Annals of Pure and Applied Logic , 171(2):102736, 2020

    2020

  12. [20]

    Gabriel Conant, Kyle Gannon, and James E. Hanson. Generic stability, randomiza- tions, and NIP formulas. Preprint, arXiv:2308.01801 [math.LO] (2023), 2023

    2023 arXiv

  13. [21]

    Pseudofinite groups and VC-dimension

    Gabriel Conant and Anand Pillay. Pseudofinite groups and VC-dimension. Journal of Mathematical Logic, 21(02):2150009, 2021

    2021

  14. [22]

    Definable nilpotent and soluble envelopes in groups without the independence property

    Ricardo de Aldama. Definable nilpotent and soluble envelopes in groups without the independence property. Math. Log. Q. , 59(3):201–205, 2013

    2013

  15. [23]

    Pillay’s conjecture for groups definable in weakly o-minimal non-valuational structures

    Pantelis E Eleftheriou. Pillay’s conjecture for groups definable in weakly o-minimal non-valuational structures. Bulletin of the London Mathematical Society , 53(4):1205– 1219, 2021

    2021

  16. [24]

    Interpretable groups are definable

    Pantelis E Eleftheriou, Ya’acov Peterzil, and Janak Ramakrishnan. Interpretable groups are definable. Journal of Mathematical Logic , 14(01):1450002, 2014

    2014

  17. [25]

    On piecewise hyperdefinable groups

    A Rodriguez Fanlo. On piecewise hyperdefinable groups. Journal of Mathematical Logic, 23(03):2250027, 2023

    2023

  18. [26]

    The structure of tame minimal dynamical systems

    Eli Glasner. The structure of tame minimal dynamical systems. Ergodic Theory and Dynamical Systems, 27(6):1819–1837, 2007

    2007

  19. [27]

    The structure of tame minimal dynamical systems for general groups

    Eli Glasner. The structure of tame minimal dynamical systems for general groups. Invent. Math. , 211:213–244, 2018

    2018

  20. [28]

    Definable equivariant retractions in non-archimedean geometry

    Martin Hils, Ehud Hrushovski, and Pierre Simon. Definable equivariant retractions in non-archimedean geometry. Preprint, arXiv:2101.02619, 2021

    2021 arXiv

  21. [29]

    Approximate equivalence relations

    Ehud Hrushovski. Approximate equivalence relations. Model Theory, 3(2):317–416, 2024

    2024

  22. [30]

    Non-archimedean tame topology and stably dominated types

    Ehud Hrushovski and Fran¸ cois Loeser. Non-archimedean tame topology and stably dominated types. Princeton University Press, 2016. EXTERNALLY DEFINABLE FSG GROUPS IN NIP THEORIES 71

    2016

  23. [31]

    Groups, measures, and the NIP

    Ehud Hrushovski, Ya’acov Peterzil, and Anand Pillay. Groups, measures, and the NIP. Journal of the American Mathematical Society , 21(2):563–596, 2008

    2008

  24. [32]

    On NIP and invariant measures

    Ehud Hrushovski and Anand Pillay. On NIP and invariant measures. J. Eur. Math. Soc. (JEMS), 13(4):1005–1061, 2011

    2011

  25. [33]

    A note on generically stable mea- sures and fsg groups

    Ehud Hrushovski, Anand Pillay, and Pierre Simon. A note on generically stable mea- sures and fsg groups. Notre Dame J. Formal Logic , 53(4):599–605, 2012

    2012

  26. [34]

    Generically stable and smooth measures in NIP theories

    Ehud Hrushovski, Anand Pillay, and Pierre Simon. Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society , 365(5):2341–2366, 2013

    2013

  27. [35]

    Valued fields, metastable groups

    Ehud Hrushovski and Silvain Rideau-Kikuchi. Valued fields, metastable groups. Se- lecta Mathematica, 25(3):47, 2019

    2019

  28. [36]

    The dynamical hierarchy for Roelcke precompact Polish groups

    Tom´ as Ibarluc ´ ıa. The dynamical hierarchy for Roelcke precompact Polish groups. Israel Journal of Mathematics , 215(2):965–1009, 2016

    2016

  29. [37]

    Henselian expansions of NIP fields

    Franziska Jahnke. Henselian expansions of NIP fields. J. Math. Log. , 24(2):13, 2024. Id/No 2350006

    2024

  30. [38]

    A note on fsg groups in p-adically closed fields

    Will Johnson. A note on fsg groups in p-adically closed fields. Mathematical Logic Quarterly, 69(1):50–57, 2023

    2023

  31. [39]

    Examples in dependent theories

    Itay Kaplan and Saharon Shelah. Examples in dependent theories. The Journal of Symbolic Logic, 79(2):585–619, 2014

    2014

  32. [40]

    Lo´ s and Edward Marczewski

    J. Lo´ s and Edward Marczewski. Extensions of measure.Fundamenta Mathematicae, 36(1):267–276, 1949

    1949

  33. [41]

    Variations on a theme of de Aldama and Shelah

    C´ edric Milliet. Variations on a theme of de Aldama and Shelah. J. Symb. Log. , 81(1):96–126, 2016

    2016

  34. [42]

    Topological dynamics of definable group actions

    Ludomir Newelski. Topological dynamics of definable group actions. The Journal of Symbolic Logic, 74(1):50–72, 2009

    2009

  35. [43]

    Hyperdefinable groups and modularity

    Davide Penazzi. Hyperdefinable groups and modularity. Ph.D thesis, January 2011

    2011

  36. [44]

    On definable groups in real closed fields with a generic derivation, and related structures

    Ya’acov Peterzil, Anand Pillay, and Fran¸ coise Point. On definable groups in real closed fields with a generic derivation, and related structures. Preprint, arXiv:2208.08293 , 2022

    2022 arXiv

  37. [45]

    Geometric stability theory

    Anand Pillay. Geometric stability theory . Oxford University Press, 1996

    1996

  38. [46]

    Generic stability, regularity, and quasiminimality

    Anand Pillay and Predrag Tanovic. Generic stability, regularity, and quasiminimality. Models, logics, and higher-dimensional categories , 53:189–211, 2011

    2011

  39. [47]

    Stable groups, volume 87

    Bruno Poizat. Stable groups, volume 87. American Mathematical Soc., 2001

    2001

  40. [48]

    A short note on groups in separably closed valued fields

    Silvain Rideau-Kikuchi. A short note on groups in separably closed valued fields. Annals of Pure and Applied Logic , 172(4):102943, 2021

    2021

  41. [49]

    Dependent first order theories, continued

    Saharon Shelah. Dependent first order theories, continued. Isr. J. Math. , 173:1–60, 2009

    2009

  42. [50]

    Strongly dependent theories

    Saharon Shelah. Strongly dependent theories. Israel Journal of Mathematics , 204(1):1–83, 2014

    2014

  43. [51]

    Finding generically stable measures

    Pierre Simon. Finding generically stable measures. J. Symb. Log. , 77(1):263–278, 2012

    2012

  44. [52]

    A guide to NIP theories

    Pierre Simon. A guide to NIP theories . Cambridge University Press, 2015

    2015

  45. [53]

    VC-sets and generic compact domination

    Pierre Simon. VC-sets and generic compact domination. Israel Journal of Mathemat- ics, 218(1):27–41, 2017

    2017

  46. [54]

    On f -generic types in NIP groups

    Atticus Stonestrom. On f -generic types in NIP groups. Preprint, arXiv:2303.13470, 2023

    2023

  47. [55]

    Qualitative probability theory, types, and the group chunk and group configuration theorems

    Terence Tao. Qualitative probability theory, types, and the group chunk and group configuration theorems. Blog post, https://terrytao.wordpress.com/2013/11/16/ qualitative-probability-theory-types-and-the-group-chunk-and-group-con figuration-theorems/, 2013

    2013

  48. [56]

    Weil’s group chunk theorem: A topological setting

    LPD Van den Dries. Weil’s group chunk theorem: A topological setting. Illinois Journal of Mathematics , 34(1):127–139, 1990

    1990

  49. [57]

    Stable groups, volume 240

    Frank Olaf Wagner. Stable groups, volume 240. Cambridge University Press, 1997. 72 ARTEM CHERNIKOV

    1997

  50. [58]

    Simple theories, volume 260

    Frank Olaf Wagner. Simple theories, volume 260. Springer, 2000

    2000

  51. [59]

    An NIP structure which does not interpret an infinite group but whose Shelah expansion interprets an infinite field

    Erik Walsberg. An NIP structure which does not interpret an infinite group but whose Shelah expansion interprets an infinite field. Preprint, arXiv:1910.13504, 2019

    1910 arXiv

  52. [60]

    Externally definable quotients and NIP expansions of the real ordered additive group

    Erik Walsberg. Externally definable quotients and NIP expansions of the real ordered additive group. Trans. Am. Math. Soc. , 375(3):1551–1578, 2022

    2022

  53. [61]

    Trace Definability

    Erik Walsberg. Trace Definability. Preprint, arXiv:2504.05566 [math.LO] (2025), 2025. Department of Mathematics, 1101 Kirwan Hall, University of Maryland College Park, MD 20742-4015, USA Email address : artem@umd.edu

    2025 arXiv

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.