10 citations · 82 across the 40 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.LO2012
The distribution of ITRM-recognizable reals
Merlin Carl
Infinite Time Register Machines ('s) are a well-established machine model for infinitary computations. Their computational strength relative to oracles is understood, see e.g…
math.LO2012★ 5 cited
On the Value Group of a Model of Peano Arithmetic
Merlin Carl, Paola D'Aquino, Salma Kuhlmann
We investigate - real closed fields, that is, real closed fields which admit an integer part whose non-negative cone is a model of Peano Arithmetic. We show that the value gr…