arxiv: 2604.10282 · v1 · submitted 2026-04-11 · 🧮 math.LO

Recognition: unknown

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts

Saeideh Bahrami

Pith reviewed 2026-05-10 15:42 UTC · model grok-4.3

classification 🧮 math.LO

keywords automorphism groupsPeano arithmeticrecursively saturated modelsstrong cutsLascar generic automorphismsmeagre setssmall index propertycofinality

0 comments

The pith

Any nontrivial normal subgroup of the automorphism fixer group over a strong cut is meagre.

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

This paper extends the notion of Lascar generic automorphisms to the subgroup of automorphisms that fix a strong cut pointwise in a countable recursively saturated model of Peano arithmetic. It proves three main properties of this subgroup: it has the small index property, its cofinality is uncountable, and every nontrivial normal subgroup is meagre in the natural topology. The meagreness result immediately implies that there is no surjective homomorphism from the subgroup onto the infinite cyclic group Z. A sympathetic reader would care because these results constrain the algebraic and topological structure of the symmetry groups of arithmetic models, ruling out certain quotients and simple normal subgroup behaviors.

Core claim

Extending Lascar genericity to the fixer subgroup (Aut(M))_{(I)}, the paper establishes that this group has the small index property, uncountable cofinality, and that every nontrivial normal subgroup is meagre, so in particular the group admits no homomorphism onto Z.

What carries the argument

The extension of Lascar generic automorphisms to the subgroup (Aut(M))_{(I)} of automorphisms fixing a strong cut I pointwise, which is used to establish meagreness via topological arguments in the pointwise convergence topology.

If this is right

The subgroup (Aut(M))_{(I)} has the small index property.
The cofinality of (Aut(M))_{(I)} is uncountable.
Every nontrivial normal subgroup of (Aut(M))_{(I)} is meagre.
There is no surjective homomorphism from (Aut(M))_{(I)} onto Z.

Where Pith is reading between the lines

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

The meagreness result may extend to fixer subgroups over other definable cuts in the same models.
These groups cannot be written as countable unions of proper subgroups, which limits how they can be approximated algebraically.
The absence of a Z quotient suggests the groups are far from being free or having simple cyclic factors in their quotients.

Load-bearing premise

The model is countable and recursively saturated with I a strong cut, and the extension of Lascar genericity to the fixer subgroup is well-defined so that meagreness and small-index arguments apply.

What would settle it

Constructing a nontrivial normal subgroup of (Aut(M))_{(I)} that is not meagre, or exhibiting a surjective homomorphism from (Aut(M))_{(I)} onto Z, would falsify the central claims.

read the original abstract

In this paper, we extend the concept of a Lascar generic automorphism in the setting of models of Peano arithmetic ($\mathrm{PA}$) to the subgroup of the automorphism group of a countable recursively saturated model $\mathcal{M}$ of $\mathrm{PA}$ that fixes pointwise a strong cut $I$ of $\mathcal{M}$, denoted by $(\mathrm{Aut}(\mathcal{M}))_{(I)}$. Then, we prove that: (1) $(\mathrm{Aut}(\mathcal{M}))_{(I)}$ has the small index property. (2) The cofinality of $(\mathrm{Aut}(\mathcal{M}))_{(I)}$ is uncountable. (3) Any nontrivial normal subgroup of $(\mathrm{Aut}(\mathcal{M}))_{(I)}$ is meagre in it. In particular, the infinite cyclic group $\mathbb{Z}$ is not a homomorphic image of $(\mathrm{Aut}(\mathcal{M}))_{(I)}$.

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 extends Lascar generics to the fixer of a strong cut and derives small index, uncountable cofinality, and meagreness of nontrivial normals for that Polish subgroup.

read the letter

The main thing to know is that the paper extends Lascar generics to the pointwise fixer of a strong cut and proves three properties for that subgroup: it has the small index property, uncountable cofinality, and all its nontrivial normal subgroups are meagre, so in particular it has no surjective homomorphism to the integers. It does this well by noting that the fixer is a closed subgroup of the Polish group Aut(M), hence Polish itself, and then using the genericity to get comeagre orbits which imply the meagreness results. The small index property likely comes from similar arguments as in the full group case, adapted to the fixer. This keeps the work consistent with the established program on automorphism groups of models of arithmetic. The new part is specifically applying these ideas to (Aut(M))_(I) rather than the whole Aut(M). The proofs appear to follow standard lines without introducing new machinery, which is a strength for clarity but also means the advance is incremental. The assumptions on M being countable and recursively saturated are necessary for the topological arguments to go through, and the paper uses them appropriately. A minor soft spot is the limited scope: everything is for countable models, so it doesn't speak to uncountable ones where the automorphism group may behave differently. The meagreness claim is the most interesting, but it relies on the Baire category theorem in the Polish topology, which holds here. No obvious gaps in the chain from genericity to the conclusions. This is aimed at logicians working on models of PA and their automorphism groups. If your work touches on group actions or symmetries in arithmetic models, it might be worth a look for the specific results on strong cuts. I would recommend sending it for peer review. The results are precise and build on solid foundations, so referees can verify the details without it being too vague or broad.

Referee Report

0 major / 3 minor

Summary. The paper extends the notion of Lascar generic automorphisms from the full automorphism group of a countable recursively saturated model M of PA to the closed subgroup (Aut(M))_(I) consisting of automorphisms that fix a strong cut I pointwise. It establishes three main results: (1) (Aut(M))_(I) has the small index property; (2) the cofinality of (Aut(M))_(I) is uncountable; (3) every nontrivial normal subgroup of (Aut(M))_(I) is meagre in the pointwise topology, which in particular implies that there is no surjective homomorphism from (Aut(M))_(I) onto the infinite cyclic group Z.

Significance. If the derivations hold, the work strengthens the understanding of the topological and algebraic structure of automorphism groups in models of arithmetic. The extension of Lascar genericity to the fixer subgroup, combined with the Polish group structure of (Aut(M))_(I) and the application of Baire category methods, yields concrete information about normal subgroups and homomorphic images. The reliance on recursive saturation to guarantee sufficiently rich automorphism groups and comeagre orbits is a clear technical strength, as is the direct link from meagreness of normal subgroups to the non-existence of a Z quotient via the small-index property.

minor comments (3)

The abstract and introduction should explicitly reference the relevant prior results on Lascar generics in full Aut(M) (e.g., the works of Lascar, or subsequent papers on PA models) to clarify the precise extension being made.
Notation for the pointwise topology and the definition of meagreness in the Polish space (Aut(M))_(I) would benefit from a dedicated preliminary subsection before the statements of the three theorems.
The proof sketches for claims (1)–(3) should include a short diagram or explicit chain of implications showing how small-index + meagreness together imply the non-surjectivity onto Z.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No major comments were listed in the report, so we have no specific points requiring point-by-point rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper extends Lascar genericity to the closed subgroup (Aut(M))_(I) of automorphisms fixing a strong cut pointwise and then derives the small-index property, uncountable cofinality, and meagreness of nontrivial normal subgroups via the Baire category theorem in the Polish topology induced by the pointwise convergence metric. These steps rest on the independent facts that countable recursively saturated models of PA have rich automorphism groups with comeagre orbits and that closed subgroups of Polish groups remain Polish (hence Baire), without any reduction of the target statements to fitted parameters, self-definitional equivalences, or load-bearing self-citations whose content is merely renamed. The non-existence of a surjective homomorphism onto Z follows directly from the meagreness claim plus the openness of small-index subgroups, all of which are established from the model-theoretic and topological hypotheses rather than presupposed by them.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on the standard axioms of Peano arithmetic for the models, background set theory for model existence, and the definition of strong cuts and the topology on automorphism groups; no free parameters or invented entities are introduced.

axioms (3)

domain assumption Axioms of Peano arithmetic (PA)
The models M are required to satisfy PA.
domain assumption Existence of countable recursively saturated models of PA
The setting assumes such models exist and contain strong cuts.
standard math Standard ZFC set theory background for model theory
Used to define models, automorphisms, and topological notions such as meagre sets.

pith-pipeline@v0.9.0 · 5454 in / 1519 out tokens · 32492 ms · 2026-05-10T15:42:31.069123+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references

[1]

Bahrami,Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability,J

S. Bahrami,Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability,J. Symbolic Logic. 89(3) (2024), pp. 1044-1066

2024
[2]

Barwise and J

J. Barwise and J. Schlipf,On recursively saturated models of arithmetic,Model The- ory and Algebra: a memorial tribute to A. Robinson(edited by D. Saracino and V. Weispfenning), Springer Lecture Notes in Mathematics. 498 (1976), pp. 42-55. 6Hajnal’s result states thatIfD 1 andD 2 are two digraphs such thatχ(D 1), χ(D2)> nfor alln∈N, thenχ(D 1 ×D 2)is also...

1976
[3]

Enayat,Automorphisms of models of arithmetic: a unified view,Ann

A. Enayat,Automorphisms of models of arithmetic: a unified view,Ann. Pure Appl. Logic. 145 (2007), pp. 16-36

2007
[4]

Hajnal,The chromatic number of the product of twoℵ 1-chromatic graphs can be countable,Combinatorica

A. Hajnal,The chromatic number of the product of twoℵ 1-chromatic graphs can be countable,Combinatorica. 5(2) (1985), 137–139

1985
[5]

Hodges, I

W. Hodges, I. Hodkinson, D. Lascar, and S. Shelah,The small index property for ω-stableω-categorical structures and for the random graph,J. London Math. Soc. 48(2) (1993), pp. 204–218

1993
[6]

Kaye,A Galois correspondence for countable recursively saturated models of Peano arithmetic,Automorphisms of first-order structures, Oxford University Press, New York (1991), pp

R. Kaye,A Galois correspondence for countable recursively saturated models of Peano arithmetic,Automorphisms of first-order structures, Oxford University Press, New York (1991), pp. 293-312. [9]

1991
[7]

Kaye,Models of Peano Arithmetic, Oxford University Press, Oxford (1991)

R. Kaye,Models of Peano Arithmetic, Oxford University Press, Oxford (1991)

1991
[8]

R. Kaye, R. Kossak, and H. Kotlarski,Automorphisms of recursively saturated models of arithmetic,Ann. Pure Appl. Logic.55 (1991), pp. 67-99

1991
[9]

Kaye and D

R. Kaye and D. Macpherson,Automorphisms of first-order structures, The Clarendon Press, Oxford University Press, New York (1994)

1994
[10]

Kossak and J

R. Kossak and J. Schmerl,Arithmetically saturated models of arithmetic,Notre Dame J. Formal Logic. 36(4) (1995) 531–546

1995
[11]

,The structure of models of Peano arithmetic, Oxford (2006)

2006
[12]

Lascar,Autour de la propri´ et´ e du petit indice,Proc

D. Lascar,Autour de la propri´ et´ e du petit indice,Proc. London Math. Soc.62(3) (1991), pp. 25-53

1991
[13]

,Les beaux automorphisms,Arch. Math. Logic. 31 (1991), pp. 55-68

1991
[14]

Symbolic Logic

,Les automorphisms d’un ensemble fortement minimal,J. Symbolic Logic. 57(1) (1992), pp. 238-251

1992
[15]

,The small index property and recursively saturated models of Peano arith- metic,Automorphisms of first-order structures, Oxford University Press, New York (1994), pp. 281–292. [9]

1994
[16]

Lascar and S

D. Lascar and S. Shelah,Uncountable saturated structures have the small index prop- erty,Bulletin of the London Mathematical Society.25 (1993), pp. 125-131

1993
[17]

Schmerl,Closed normal subgroups,Mathematical Logic Quarterly.47 (2001), pp 489-492

J. Schmerl,Closed normal subgroups,Mathematical Logic Quarterly.47 (2001), pp 489-492

2001
[18]

291(1–3) (2005), pp

,Generic automorphisms and graph coloring,Discrete Math. 291(1–3) (2005), pp. 235–242. 27

2005
[19]

J. P. Serre,Trees, Springer, New York (2003)

2003
[20]

Shochat,A Galois correspondence for countable short recursively saturated models ofPA,Mathematical Logic Quarterly.56 (2010), pp

E. Shochat,A Galois correspondence for countable short recursively saturated models ofPA,Mathematical Logic Quarterly.56 (2010), pp. 228-238

2010
[21]

Smory´ nski,Recursively saturated nonstandard models of arithmetic,J

C. Smory´ nski,Recursively saturated nonstandard models of arithmetic,J. Symbolic Logic.46(2) (1981), pp. 259–286

1981
[22]

J. K. Truss,Generic automorphisms of homogeneous structures,Proceedings of the London Mathematical Society(1992), pp. 121-141

1992
[23]

Wilmers,Minimally saturated models,Model Theory of Algebra and Arith- metic: Proceedings of the Conference, Karpacz, 1979, (vol

G. Wilmers,Minimally saturated models,Model Theory of Algebra and Arith- metic: Proceedings of the Conference, Karpacz, 1979, (vol. 834 of Lecture Notes in Mathematics), Springer, Berlin (1980), pp. 370–80. 28

1979