Evelyn Nelson

Completions of Partially Ordered Sets

We show, for any subset system Z (as defined in Wright, Wagner, and Thatcher, T.C.S. 7 (1978), pp. 57–77) and any order preserving map

Tree constructions of free continuous algebras

f:Q \to P

Categorical and topological aspects of formal languages

of posets, the existence of a universal map

On the nonexistence of free complete distributive lattices

u_f :P \to P_f

Separately continuous algebras

where

Continuous algebras revisited

P_f

On exponentiating exponentiation

is Z-complete and

ELEMENTARY PROPERTIES OF LIMIT REDUCED POWERS WITH APPLICATIONS TO BOOLEAN POWERS

u_f f

Tensor products and bimorphisms

is Z-continuous. This generalizes to arbitrary subset systems the result of Markowsky (T.C.S. 4 (1977), pp. 125–135) for chains, and the completions of Wright, Wagner, and Thatcher for union complete Z; our method, different from theirs, uses the time-honored direct construction of universal maps. Further, we obtain some results on the internal structure of

Equational compactness in equational classes of algebras

P_f