Article contents
An injection from the Baire space to natural numbers
Published online by Cambridge University Press: 10 November 2014
Abstract
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.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 25 , Special Issue 7: Computing with Infinite Data: Topological and Logical Foundations Part 1 , October 2015 , pp. 1484 - 1489
- Copyright
- Copyright © Cambridge University Press 2014
References
- 5
- Cited by