Models of true arithmetic are integer parts of models of real exponentation

From MaRDI portal
Publication:4989722

DOI10.4115/jla.2021.13.3zbMath1493.03005arXiv1307.6595OpenAlexW3162580024MaRDI QIDQ4989722

Lothar Sebastian Krapp, Merlin Carl

Publication date: 26 May 2021

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.6595




Related Items (1)



Cites Work


This page was built for publication: Models of true arithmetic are integer parts of models of real exponentation