Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838)
From MaRDI portal
scientific article; zbMATH DE number 724877
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts |
scientific article; zbMATH DE number 724877 |
Statements
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (English)
0 references
20 July 1995
0 references
models of arithmetic
0 references
open subgroup
0 references
automorphism group
0 references
stabilizers
0 references
recursively saturated model
0 references
invariant cuts
0 references