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