On two questions concerning the automorphism groups of countable recursively saturated models of PA (Q1354336): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q588140 |
Set OpenAlex properties. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Roman Murawski / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s001530050056 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2029404498 / rank | |||
Normal rank | |||
Latest revision as of 00:21, 20 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On two questions concerning the automorphism groups of countable recursively saturated models of PA |
scientific article |
Statements
On two questions concerning the automorphism groups of countable recursively saturated models of PA (English)
0 references
26 October 1997
0 references
The paper is devoted to some problems concerning the automorphism groups of models of Peano arithmetic PA. In particular, it is proved that (1) the automorphism group of a countable recursively saturated model of PA is not divisible and (2) every countably recursively saturated model has a strong initial segment whose setwise stabilizer is not maximal. Definability in structures of the form \((M,I)\), where \(M\) is a model of PA an \(I\) is an initial segment of \(M\), is also considered. A generalization of a result of Kanovej is given.
0 references
definability
0 references
automorphism groups
0 references
models of Peano arithmetic
0 references
recursively saturated model
0 references
strong initial segment
0 references
setwise stabilizer
0 references
