Pith. sign in

REVIEW 3 minor 14 references

Keisler Measures and Generically Stable Random Types

T0 review · 0 major / 3 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Every irgs Keisler measure is dependent, hence symmetric, and forces model-theoretic instability events to have measure zero.

desk verdict The paper defines rgs and irgs for Keisler measures, shows they coincide with fim on types, and proves irgs measures are dependent with instability sets of measure zero. read the letter →

arxiv 2605.15870 v3 pith:ATTGHNEW submitted 2026-05-15 math.LO

Karim Khanaki This is my paper · ORCID
classification math.LO
keywords KeislermeasuresgenericallystablerandomtypesrgsandirgsdependentinstabilityeventsMorleysequencesfirst-ordertheories
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 defines the notions of rgs and irgs for Keisler measures, drawing motivation from generically stable random types and their Morley sequences. It supplies characterizations of these notions through averages of first-order formulas over probabilistic partitions and proves that fim, irgs, and rgs coincide when restricted to types. The central results establish that every irgs measure is dependent, from which symmetry follows, and that the instability events O^φ, I^φ, and L^φ carry P_μ-measure zero. A sympathetic reader would care because these properties extend earlier conclusions that held only for fim measures to a strictly larger class.

What carries the argument

The rgs and irgs notions for Keisler measures, characterized by averages of classical formulas over probabilistic partitions and tied to generically stable random types.

What would settle it

Exhibit a single Keisler measure that meets the irgs definition yet fails to be dependent, or exhibit an irgs measure under which one of O^φ, I^φ, or L^φ has positive P_μ-measure.

Watch

Extended reading notes

Core claim

We introduce rgs and irgs for Keisler measures and obtain characterizations in terms of averages over probabilistic partitions. We prove that every irgs measure is dependent; consequently such measures are symmetric. We further show that for irgs measures the events O^φ, I^φ, and L^φ have P_μ-measure zero, extending earlier results beyond the fim case.

Load-bearing premise

The framework assumes that rgs and irgs can be meaningfully defined and characterized inside the standard setting of Keisler measures on complete types, with the relevant probabilistic partitions and Morley sequences existing as described.

Editorial extensions

If this is right

  • Every irgs measure is dependent.
  • Every irgs measure is symmetric.
  • For irgs measures the events O^φ, I^φ, and L^φ have P_μ-measure zero.
  • When restricted to types, fim, irgs, and rgs coincide.

Reading between the lines

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

  • The dependence result may let model theorists import techniques from stable theories to a wider collection of measures.
  • The measure-zero conclusion on instability events suggests that random generic sequences behave more regularly than arbitrary ones even outside the fim setting.
  • It remains open whether the same zero-measure statements hold for the larger rgs class.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper introduces the notions of rgs and irgs for Keisler measures, motivated by generically stable random types and Morley sequences. It gives characterizations of these notions via averages of first-order formulas over probabilistic partitions (Theorems 3.2 and 3.3), compares them to fim, fam, and self-averaging (showing coincidence of fim, irgs, and rgs for types), proves every irgs measure is dependent (Theorem 4.5) and hence symmetric (Corollary 4.8), and shows that the instability events O^φ, I^φ, and L^φ have P_μ-measure zero for irgs measures (Theorem 5.4), extending results of [8] beyond the fim case.

Significance. If the results hold, the work extends the theory of generically stable Keisler measures by providing new characterizations and proving dependence, symmetry, and measure-zero instability events for irgs measures. The explicit characterizations in Theorems 3.2–3.3 and the extension of the measure-zero results in Theorem 5.4 beyond fim are strengths that strengthen the toolkit for analyzing random types in model theory.

minor comments (3)
  1. [Abstract] Abstract: the acronyms rgs and irgs are used without initial expansion; spell out 'randomly generically stable' and 'internally randomly generically stable' on first appearance for clarity.
  2. [§3] §3: the comparison of rgs/irgs with fim, fam, and self-averaging would be easier to follow if summarized in a table or diagram showing the inclusion or equivalence relations.
  3. [§3] Notation: the probabilistic partitions and averaging operators in Theorems 3.2 and 3.3 are central; ensure all symbols (e.g., the measure P_μ) are defined before their first use in the statements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of the paper's contributions and for recommending minor revision. We appreciate the positive assessment of the characterizations in Theorems 3.2–3.3 and the extension of the measure-zero results in Theorem 5.4. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 2.0 of 10

Minor self-citation for extension step; core derivations independent

full rationale

The paper defines rgs and irgs anew, provides characterizations via averages over probabilistic partitions in Theorems 3.2 and 3.3, shows coincidence with fim for types, and derives dependence (Theorem 4.5), symmetry (Corollary 4.8), and measure-zero instability events (Theorem 5.4) from those characterizations inside the standard Keisler-measure setting. Theorem 5.4 extends a result from [8], but this is a non-load-bearing citation for the extension only; the central claims rest on the paper's own definitions and internal arguments rather than reducing to a self-citation chain, fitted parameters, or self-definitional equations. The derivation chain is therefore self-contained against external benchmarks.

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

Only the abstract is available, so the ledger is limited to background assumptions standard in model theory; no free parameters or invented entities are mentioned.

assumptions (2)
  • standard math Standard axioms and semantics of first-order logic together with the definition of Keisler measures as finitely additive probability measures on Boolean algebras of formulas.
    Invoked implicitly throughout the study of types and measures; required for any work in this area.
  • domain assumption Existence of Morley sequences for generically stable random types in the ambient theory.
    Stated as motivation for the new notions rgs and irgs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Keisler Measures and Generically Stable Random Types." pith.science (2026). https://pith.science/paper/ATTGHNEW

@misc{pith2026260515870,
  author       = {Pith},
  title        = {Pith review of: Keisler Measures and Generically Stable Random Types},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ATTGHNEW}},
  note         = {Machine review of arXiv:2605.15870}
}
abstract

We introduce the notions of $rgs$ and $irgs$ for Keisler measures, motivated by the study of generically stable random types and their associated Morley sequences. We obtain characterizations of these notions in terms of averages of classical first-order formulas over suitable probabilistic partitions (Theorems 3.2 and 3.3). We compare these notions with $fim$, $fam$, and self-averaging, and show that for types the notions $fim$, $irgs$, and $rgs$ coincide. We prove that every $irgs$ measure is dependent (Theorem 4.5); consequently, such measures are symmetric (Corollary 4.8). Furthermore, we show that for $irgs$ measures the model-theoretic instability events $\mathbf{O}^\varphi$, $\mathbf{I}^\varphi$, and $\mathbf{L}^\varphi$ have $\mathbb{P}_\mu$-measure zero (Theorem 5.4), extending results from [8] beyond the $fim$ case.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [8]

    Gannon and J

    K. Gannon and J. E. Hanson,Model theoretic events, arXiv preprint arXiv:2402.15709, 2024. 27

    work page arXiv 2024

  2. [1]

    Ben Yaacov,Transfer of properties between measures and random types, Unpublished research note, 2008

    I. Ben Yaacov,Transfer of properties between measures and random types, Unpublished research note, 2008

    work page 2008

  3. [2]

    Ben Yaacov, A

    I. Ben Yaacov, A. Berenstein, C. W. Henson, and A. Usvyatsov,Model theory for metric structures, inModel Theory with Applications to Al- gebra and Analysis, vol. 2, London Mathematical Society Lecture Note Series, vol. 350, Cambridge University Press, pp. 315–427, 2008

    work page 2008

  4. [3]

    Ben Yaacov and H

    I. Ben Yaacov and H. J. Keisler,Randomizations of models as metric structures, Confluentes Mathematici, vol. 1, no. 2, pp. 197–223, 2009

    work page 2009

  5. [4]

    Conant, K

    G. Conant, K. Gannon, and J. Hanson,Keisler measures in the wild, Model Theory, vol. 2, no. 1, pp. 1–67, 2023. doi:10.2140/mt.2023.2.1

    work page doi:10.2140/mt.2023.2.1 2023

  6. [5]

    Conant, K

    G. Conant, K. Gannon, and J. Hanson,Generic stability, randomiza- tions, and NIP formulas, arXiv preprint arXiv:2308.01801, 2023

    work page arXiv 2023

  7. [6]

    Kyle Gannon,Sequential approximations for types and Keisler mea- sures, Fundamenta Mathematicae, vol. 257, pp. 305–336, 2022. doi:10.4064/fm133-12-2021

    work page doi:10.4064/fm133-12-2021 2022

  8. [7]

    Gannon,Transfer maps and the Morley product in NIP theories, The Journal of Symbolic Logic, accepted

    K. Gannon,Transfer maps and the Morley product in NIP theories, The Journal of Symbolic Logic, accepted

    work page

Show all 14 references
  1. [9]

    H. J. Keisler,Randomizing a Model, Advances in Mathematics, vol. 143, no. 1, pp. 124–158, 1999

    1999

  2. [10]

    Khanaki,Dependent measures in independent theories, Zeitschrift f¨ ur Mathematische Logik und Grundlagen der Mathematik, to appear

    K. Khanaki,Dependent measures in independent theories, Zeitschrift f¨ ur Mathematische Logik und Grundlagen der Mathematik, to appear

  3. [11]

    Khanaki,Remarks on convergence of Morley sequences, arXiv preprint arXiv:2110.15411, 2021

    K. Khanaki,Remarks on convergence of Morley sequences, arXiv preprint arXiv:2110.15411, 2021. doi:10.48550/arXiv.2110.15411

    2021 doi

  4. [12]

    Khanaki,Generic Stability and Modes of Convergence, The Journal of Symbolic Logic, to appear

    K. Khanaki,Generic Stability and Modes of Convergence, The Journal of Symbolic Logic, to appear

  5. [13]

    Pillay and P

    A. Pillay and P. Tanovic,Generic stability, regularity, and quasimini- mality, arXiv preprint arXiv:0912.1115, 2009

    2009 arXiv

  6. [14]

    Talagrand,The Glivenko-Cantelli Problem, The Annals of Probabil- ity, Vol

    M. Talagrand,The Glivenko-Cantelli Problem, The Annals of Probabil- ity, Vol. 15, No. 3, pp. 837–870, 1987. doi:10.1214/aop/1176992069 28

    1987 doi

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.