Strongly maximal subgroups determined by elements in interstices (Q4798210)
From MaRDI portal
scientific article; zbMATH DE number 1884770
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strongly maximal subgroups determined by elements in interstices |
scientific article; zbMATH DE number 1884770 |
Statements
Strongly maximal subgroups determined by elements in interstices (English)
0 references
19 March 2003
0 references
Peano arithmetic
0 references
arithmetic saturation
0 references
interstice
0 references
selective type
0 references
nonstandard model
0 references
false completion
0 references
models of arithmetic
0 references
