pith. sign in

arxiv: 2605.15870 · v1 · pith:ATTGHNEWnew · submitted 2026-05-15 · 🧮 math.LO

Remarks on generic stability and random types

Karim Khanaki This is my paper

Pith reviewed 2026-05-19 19:19 UTC · model grok-4.3

classification 🧮 math.LO
keywords Keisler measuresrandom typesgeneric stabilityrgsirgsdependent measuresmodel theory
0
0 comments X

The pith

rgs and irgs for Keisler measures are equivalent to generically stable random type extensions

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

The paper introduces rgs and irgs as properties of a Keisler measure μ. It proves that rgs holds precisely when there exists a generically stable random type extending μ. It proves that irgs holds precisely when the canonical extension r_μ is generically stable. The paper compares these notions with fim, fam, and self-averaging, and shows that every irgs measure is dependent.

Core claim

The paper proves that rgs is equivalent to the existence of a generically stable random type extending μ, and that irgs is equivalent to the canonical extension r_μ being generically stable. It further shows that every irgs measure is dependent in the sense of the referenced literature.

What carries the argument

The canonical extension r_μ of the Keisler measure μ to a random type, together with the application of generic stability to it.

If this is right

  • irgs measures are dependent.
  • rgs holds exactly when there is a generically stable random type extension.
  • irgs holds exactly when r_μ is generically stable.
  • These properties are compared to fim, fam, and self-averaging.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The new properties could simplify checking for generic stability in random types.
  • They might be used to explore dependence in other classes of measures.
  • Connections to existing notions like fim could lead to a more unified theory of measure stability.

Load-bearing premise

The standard background definitions of Keisler measures, random types, generic stability, and the canonical extension r_μ from model theory literature hold and are applicable here.

What would settle it

A Keisler measure with a generically stable random type extension that does not satisfy rgs, or an irgs measure that is not dependent.

read the original abstract

We introduce the notions of $rgs$ and $irgs$ as properties of a Keisler measure $\mu$, and prove that they are respectively equivalent to the existence of a generically stable random type that extends $\mu$ and to the fact that its canonical extension, namely the random type $r_\mu$, is generically stable. We compare these notions with the known concepts of $fim$, $fam$, and self-averaging, and in particular we show that every $irgs$ measure is dependent in the sense of [10].

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper introduces the notions of rgs and irgs as properties of a Keisler measure μ. It proves that rgs is equivalent to the existence of a generically stable random type extending μ, while irgs is equivalent to the canonical random type extension r_μ being generically stable. The work also compares these notions to fim, fam, and self-averaging, and shows that every irgs measure is dependent in the sense of [10].

Significance. These equivalences provide clean characterizations linking generic stability of measures to properties of random types, which could be useful for further work in model-theoretic classification and dependence. The explicit dependence result for irgs measures strengthens connections to prior literature on [10].

minor comments (2)
  1. The comparison between rgs/irgs and the existing notions of fim, fam, and self-averaging appears only after the main equivalences; integrating a brief summary table or paragraph earlier would improve readability.
  2. The dependence claim for irgs measures (referencing [10]) is stated concisely; adding one short illustrative example or counter-example would make the implication more concrete for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation of minor revision. The summary accurately reflects the paper's main results on the notions of rgs and irgs for Keisler measures, their equivalences to generic stability properties of random types, the comparisons with fim, fam and self-averaging, and the dependence result for irgs measures. We are glad that the potential utility for further work in classification theory is recognized.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper introduces rgs and irgs as new properties of Keisler measures μ and proves their equivalence to the existence of a generically stable random type extending μ and to the generic stability of the canonical extension r_μ respectively. These equivalences rest on standard background definitions of Keisler measures, random types, and generic stability from the model theory literature, which are external and not redefined within the paper. The additional result that every irgs measure is dependent references an external source [10] rather than a self-citation chain. No self-definitional reductions, fitted inputs presented as predictions, or load-bearing self-citations appear in the stated claims or abstract. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the full ledger cannot be audited. The work relies on background model theory concepts.

axioms (1)
  • domain assumption Standard definitions and properties of Keisler measures, random types, and generic stability from model theory.
    The equivalences and comparisons presuppose these established notions.

pith-pipeline@v0.9.0 · 5601 in / 1112 out tokens · 47554 ms · 2026-05-19T19:19:50.732821+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We introduce the notions of rgs and irgs as properties of a Keisler measure μ, and prove that they are respectively equivalent to the existence of a generically stable random type that extends μ and to the fact that its canonical extension, namely the random type r_μ, is generically stable.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 1 internal anchor

  1. [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

  2. [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

  3. [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. 21

    work page 2009

  4. [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

  5. [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

  6. [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

  7. [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

  8. [8]

    Gannon and J

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

    work page arXiv 2024

  9. [9]

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

    work page 1999

  10. [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

    work page

  11. [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

    work page doi:10.48550/arxiv.2110.15411 2021

  12. [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

    work page

  13. [13]

    Generic stability, regularity, and quasiminimality

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

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  14. [14]

    URL https://doi.org/10.1214/ aop/1176992362

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

    work page doi:10.1214/aop/1176992069 1987