1 paper
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…