Models of true arithmetic are integer parts of models of real exponentation (Q4989722)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7351278
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.852635383605957
0 references
0.8310514688491821
0 references
0.818405270576477
0 references
