Models of : when two elements are necessarily order automorphic (Q3460521)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Models of : when two elements are necessarily order automorphic |
scientific article |
Statements
Models of : when two elements are necessarily order automorphic (English)
0 references
7 January 2016
0 references
Friedman's 14-th problem
0 references
order types of nonstandard models of PA
0 references
additive structure of nonstandard models of PA
0 references
