13 citations · 46 across the 21 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
On definably proper maps
Mário Edmundo, Marcello Mamino, Luca Prelli
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces…
cs.CC2014★ 1 cited
On the Computing Power of , , and
Marcello Mamino
Modify the Blum-Shub-Smale model of computation replacing the permitted computational primitives (the real field operations) with any finite set of real functions semialgebraic…