New answers tagged computability
7
votes
An analogue of Scott continuity for infinite-time-Turing-computable functions
The domain-theoretic considerations of the kind you are asking about can be carried out using synthetic domain theory. Related to it is syntehtic topology, and in fact the two share many common ideas.
...
- 26.6k
Top 50 recent answers are included