If (A,<) is a partially ordered set, its dimension, dim(A,<), is the least cardinal κ such that there exist κ total orderings {<α:α<κ} on A with <=∩α<κ<α. Show that if dim(A,<)>ℵ0, then there exist disjoint A0,A1⊆A with dim(A0,<), dim(A1,<)>ℵ0. [D. Kelly, A. Hajnal, B. Weiss] Miklos Schweitzercollege contestsset theory