Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4309365 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On maximal subgroups of the automorphism group of a countable recursively saturated model of PA / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Automorphisms of models of true arithmetic: Recognizing some basic open subgroups / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely / rank | |||
Normal rank | |||
Latest revision as of 12:04, 23 May 2024
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
0 references
