An exposition on the supersimplicity of certain expansions of the additive group of the integers

Amador Martin-Pizarro; Daniel Palac\'in

arxiv: 2502.03915 · v3 · pith:UHHXOFHSnew · submitted 2025-02-06 · 🧮 math.LO

An exposition on the supersimplicity of certain expansions of the additive group of the integers

Amador Martin-Pizarro , Daniel Palac\'in This is my paper

Pith reviewed 2026-05-23 04:35 UTC · model grok-4.3

classification 🧮 math.LO

keywords supersimplicityadditive group of integersexpansions of structuresgeneric predicatesquare-free integersprime integersDickson's conjecturesimple theories

0 comments

The pith

Expansions of the additive group of the integers by generic, square-free, or prime predicates are supersimple.

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

This note gives a self-contained exposition that certain expansions of the structure (Z, +) satisfy supersimplicity. The cases include a generic unary predicate, a predicate naming the square-free integers, and a predicate naming the primes (the last under Dickson's conjecture). Supersimplicity is the model-theoretic property that every complete type does not divide over a finite set in a controlled way. A reader would care because the result shows that these number-theoretic sets can be added to the integers while preserving a strong form of tameness that rules out many pathological definable sets.

Core claim

The additive group of the integers expanded by a generic predicate is supersimple; the same holds when the predicate is the set of square-free integers, and when the predicate is the set of primes provided Dickson's conjecture is true.

What carries the argument

Supersimplicity, the model-theoretic notion that a theory has no infinite dividing chains for types and satisfies a finite character for forking independence.

If this is right

The expanded structures admit a well-behaved notion of independence that behaves like non-forking in stable theories.
Definable sets in these expansions cannot encode arbitrary orderings or other unstable configurations.
The square-free and prime cases inherit the same independence calculus as the generic case once the relevant conjecture is granted.

Where Pith is reading between the lines

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

The same technique might apply to other sparse subsets of the integers whose characteristic functions avoid certain arithmetic progressions.
If supersimplicity holds for primes unconditionally, it would give a model-theoretic route to consequences of Dickson's conjecture inside simple theories.

Load-bearing premise

The original arguments for each cited case are correct and, for the primes, Dickson's conjecture holds.

What would settle it

An explicit type over a finite set in one of these expansions that divides infinitely often without a corresponding independence relation would refute the claim.

read the original abstract

In this short note, we present a self-contained exposition of the supersimplicity of certain expansions of the additive group of the integers, such as adding a generic predicate (due to Chatzidakis and Pillay), a predicate for the square-free integers (due to Bhardwaj and Tran) or a predicate for the prime integers (due to Kaplan and Shelah, assuming Dickson's conjecture).

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.

Desk Editor's Note private letter to a colleague

This is a straightforward exposition of three known results on supersimplicity in expansions of (Z, +), with nothing new proved.

read the letter

This paper is an exposition of existing results showing that certain expansions of (Z, +) are supersimple. The main cases covered are adding a generic predicate, a predicate for square-free integers, and one for primes assuming Dickson's conjecture. All the heavy lifting was done in the cited papers by Chatzidakis-Pillay, Bhardwaj-Tran, and Kaplan-Shelah. What works is the self-contained format. Having the arguments collected in one short note can make it easier to follow the logic without jumping between sources. For someone who already knows the background, this might be a convenient reference. The obvious limitation is that there are no new results or simplifications claimed. The paper does not attempt to prove anything original or resolve open questions. Soundness rests entirely on the accuracy of the prior work, and the primes case carries the external assumption of Dickson's conjecture, which remains unproven. This kind of note is mainly for model theorists working in simplicity theory who want a consolidated write-up of these specific examples. It does not introduce new technology or change how we think about the subject. I would not bring it to a reading group. It does not seem to warrant peer review as a research contribution, though it could fit in a venue that publishes expository pieces.

Referee Report

0 major / 0 minor

Summary. The manuscript is a short note providing a self-contained exposition of the supersimplicity of three specific expansions of the additive group of the integers: (Z, +, P) where P is a generic predicate (due to Chatzidakis-Pillay), where P is the set of square-free integers (due to Bhardwaj-Tran), and where P is the set of primes (due to Kaplan-Shelah, conditional on Dickson's conjecture).

Significance. As an exposition rather than a source of new theorems, the paper's value lies in consolidating and presenting prior results from the model theory literature in a unified, accessible form. It explicitly attributes the results to the cited authors and flags the external number-theoretic hypothesis for the primes case. If the exposition is accurate, it may aid readers working on simple theories and expansions of abelian groups, but it does not advance new mathematical claims.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript as a self-contained exposition of existing results on supersimplicity, and for the recommendation to accept.

Circularity Check

0 steps flagged

Exposition of external results; no circularity in derivation chain

full rationale

The manuscript is explicitly framed as a self-contained exposition of supersimplicity results already established in the cited external papers (Chatzidakis-Pillay, Bhardwaj-Tran, Kaplan-Shelah). No new derivations, fitted parameters, self-definitions, or load-bearing self-citations are introduced. The only external hypothesis (Dickson's conjecture) is stated as such and is independent of the paper's content. All load-bearing steps trace to prior independent work rather than reducing to the present text by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger cannot be populated from the full text. The abstract references one external conjecture as an assumption for one case.

axioms (1)

domain assumption Dickson's conjecture
Invoked in the abstract for the predicate-for-primes case.

pith-pipeline@v0.9.0 · 5588 in / 1140 out tokens · 41728 ms · 2026-05-23T04:35:08.406737+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

Baur, Elimination of Quantifiers for Modules, Israel J

W. Baur, Elimination of Quantifiers for Modules, Israel J. Math. 25 (1976), 64--70

work page 1976
[2]

Bhardwaj and C-M

N. Bhardwaj and C-M. Tran, The additive groups of Z and Q with predicates for being square-free , J. Symb. Log. 86 , (2021), 1324--1349

work page 2021
[3]

Chatzidakis and A

Z. Chatzidakis and A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), 71--92

work page 1998
[4]

Kaplan and S

I. Kaplan and S. Shelah, Decidability and classification of the theory of integers with primes, J. Symb. Log. 82 (2017), 1041--1050

work page 2017
[5]

Kim and A

B. Kim and A. Pillay, Simple theories, Ann

work page
[6]

Shelah, Classification Theory and the number of non-isomorphic models, Studies in Logic and the Foundations of Mathematics 92 , (1990), Amsterdam: North-Holland

S. Shelah, Classification Theory and the number of non-isomorphic models, Studies in Logic and the Foundations of Mathematics 92 , (1990), Amsterdam: North-Holland. xxxiv, 705 p

work page 1990
[7]

Tent and M

K. Tent and M. Ziegler, A course in model theory, Lecture Notes in Logic 40 , (2012), Cambridge: Cambridge University Press, x, 248 p

work page 2012
[8]

F. O. Wagner, Simple theories, Mathematics and its Applications 503 , (2000), Dordrecht: Kluwer Academic Publishers. xi, 260 p

work page 2000

[1] [1]

Baur, Elimination of Quantifiers for Modules, Israel J

W. Baur, Elimination of Quantifiers for Modules, Israel J. Math. 25 (1976), 64--70

work page 1976

[2] [2]

Bhardwaj and C-M

N. Bhardwaj and C-M. Tran, The additive groups of Z and Q with predicates for being square-free , J. Symb. Log. 86 , (2021), 1324--1349

work page 2021

[3] [3]

Chatzidakis and A

Z. Chatzidakis and A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), 71--92

work page 1998

[4] [4]

Kaplan and S

I. Kaplan and S. Shelah, Decidability and classification of the theory of integers with primes, J. Symb. Log. 82 (2017), 1041--1050

work page 2017

[5] [5]

Kim and A

B. Kim and A. Pillay, Simple theories, Ann

work page

[6] [6]

Shelah, Classification Theory and the number of non-isomorphic models, Studies in Logic and the Foundations of Mathematics 92 , (1990), Amsterdam: North-Holland

S. Shelah, Classification Theory and the number of non-isomorphic models, Studies in Logic and the Foundations of Mathematics 92 , (1990), Amsterdam: North-Holland. xxxiv, 705 p

work page 1990

[7] [7]

Tent and M

K. Tent and M. Ziegler, A course in model theory, Lecture Notes in Logic 40 , (2012), Cambridge: Cambridge University Press, x, 248 p

work page 2012

[8] [8]

F. O. Wagner, Simple theories, Mathematics and its Applications 503 , (2000), Dordrecht: Kluwer Academic Publishers. xi, 260 p

work page 2000