Carl, Merlin, Universität Passau, Universität Konstanz, Universität Flensburg, Germany

• Vol 13 (2021) - Articles
  Models of true arithmetic are integer parts of models of real exponentation
  Abstract  3. [PDF]