A Galois correspondence for countable short recursively saturated models of PA (Q3566942)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Galois correspondence for countable short recursively saturated models of PA |
scientific article |
Statements
A Galois correspondence for countable short recursively saturated models of PA (English)
0 references
10 June 2010
0 references
short recursive saturation
0 references
automorphism groups
0 references
models of PA
0 references
Galois correspondence
0 references
0 references
