Meeting of the Association for Symbolic Logic, Dallas 1973. - J. Donald Monk; Jan Mycielski; Jürgen Schmidt 001 (J. Symb. Log., 1973)

Binomial pairs, semi-Brouwerian and Brouwerian semilattices. - Jürgen Schmidt 001 (Notre Dame J. Formal Log., 1978)

Algebraic studies of first-order enlargements. - Jürgen Schmidt 001 (Notre Dame J. Formal Log., 1981)