Zobrazeno 1 - 1
of 1
pro vyhledávání: '"true arithmetic, Peano arithmetic"'
Autor:
Merlin Carl, Lothar Sebastian Krapp
Publikováno v:
Journal of Logic and Analysis. 13
Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6f39f5b636abfef926310897fc5fb8f
https://doi.org/10.4115/jla.2021.13.3
https://doi.org/10.4115/jla.2021.13.3
