Models of true arithmetic are integer parts of models of real exponentation (Q4989722)
From MaRDI portal
scientific article; zbMATH DE number 7351278
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Models of true arithmetic are integer parts of models of real exponentation |
scientific article; zbMATH DE number 7351278 |
Statements
Models of true arithmetic are integer parts of models of real exponentation (English)
0 references
26 May 2021
0 references
true arithmetic
0 references
Peano arithmetic
0 references
integer parts
0 references
real exponentiation
0 references
exponential fields
0 references
