Talk:Scott information system

"D(A) will be a Scott domain when T is countable". I think you are considering Scott domains with countable bases, which is not the definition given on the wikipedia page. I propose to move the sentence to after the equivalence, and reword to "D(A) will have a countable basis when T is countable". OK? Sam Staton 17:56, 24 July 2007 (UTC)

Hmmm, if we remove the stipulation that T is countable D(A) might even fail to be algebraic (and thus not a Scott Domain by either definition!) --NoizHed 12:24, 8 August 2007 (UTC)

Ok I see what you mean now. I have edited it accordingly. --NoizHed 12:28, 8 August 2007 (UTC)