1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Santiago camacho
We show that in any nontrivial Hahn field with truncation as a primitive operation we can interpret the monadic second-order logic of the additive monoid of natural numbers and are…