[Prev][Next][Index][Thread]

Re: chains vs. directed sets



Date: Tue, 26 Nov 91 19:29:47 EST
To: jcm@cs.stanford.edu

Apparently, Iwamura was the first to show (1944) that chain-complete
implies directed-complete. The result is mentioned in Cohn's book on
universal algebra. Iwamura's result was sharpened by Markowski (Alg
Univ 6, 1976, 53-68) who also shows that chain-continuous implies
directed-continuous. (I think this is the paper Curien alludes to).
The omega-algebraicity conditions used by Plotkin and Zhang are
superfluous.

Val Tannen