activity
20062023
most citedThe hierarchy of equivalence relations on the natural numbers under computable reducibility

35 citations · 86 across the 22 of their papers we have counts for

collaborators
Showing 2006Show all

1 paper · 1 filter

math.LO2006

Infinite time computable model theory

Joel David Hamkins, Russell Miller, Daniel Seabold +1

We introduce infinite time computable model theory, the computable model theory arising with infinite time Turing machines, which provide infinitary notions of computability for st…