# Tag Info

### 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.8k
Accepted

### Is there an isomorphism between universal domains $\mathcal{P}\omega$ and the interval domain $\mathbf{I}\mathbb{R}$?

This is only half an answer, but allow me to clear up a constructive point about the interval domain. The usual definition of the interval domain is \mathrm{I}\mathbb{R} = \{[a,b] \mid a, b \in \...
• 26.8k