New answers tagged

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. ...
user avatar
  • 26.6k

Top 50 recent answers are included