1. Distributive Lattices;Balbes,1974
2. Decidability of the elementary theory of relatively complemented lattices and the theory of filters;Ershov;Algebra i Logika Sem.,1964
3. The first order properties of products of algebraic systems;Feferman;Fundamenta Mathematicae,1959
4. C. Flothow, Verbände stetiger Funktionen — Entscheidbarkeit und Definierbarkeit, Dissertation, Universität Passau, 1989
5. Concerning rings of continuous functions;Gillman;Transactions of the American Mathematical Society,1954