Krapp, Lothar Sebastian, Universität Konstanz, Germany
-
Vol 13 (2021) - Articles
Models of true arithmetic are integer parts of models of real exponentation
Abstract 3. [PDF] -
Vol 11 (2019) - Articles
Value groups and residue fields of models of real exponentiation
Abstract 1. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008