On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic (Q4366132)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
scientific article; zbMATH DE number 1089433
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic |
scientific article; zbMATH DE number 1089433 |
Statements
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic (English)
0 references
17 March 1998
0 references
Peano Arithmetic
0 references
recursive saturation
0 references
automorphism group
0 references
arithmetic saturation
0 references
models of arithmetic
0 references
0.8608742952346802
0 references
0.8058069348335266
0 references
