A talk given at "Computation with Infinite Data: Logical and Topological Foundations" Dagstuhl seminar, see dagstuhl.de/11411. In this talk I describe a realizability model based on infinite-time Turing machines in which it is possible to embed the Baire space (infinite sequences of numbers) into the space of numbers.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…