8 citations · 29 across the 22 of their papers we have counts for
1 paper · 1 filter
Caleb M. H. Camrud, Timothy H. McNicholl
Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language L th…