22 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
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…