3 citations · 15 across the 21 of their papers we have counts for
1 paper · 1 filter
Merlin Carl
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 eac…