An injection from the Baire space to natural numbers
Andrej Bauer · Mathematical Structures in Computer Science · 2014
We provide a realizability model based on infinite time Turing machines in which there is an injection from the internal Baire space, the object of infinite sequences of numbers, to the object of natural numbers.