The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.10282
curl -X POST /api/v1/records/arxiv/2604.10282/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.10282/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'