MODEL-THEORETIC METHODS AND RESULTS IN THE THEORY OF CYLINDRIC ALGEBRAS**Research supported by NSF grants GP-1232 and GP-1395.
Field Theoretic Investigations in Current Algebra
A Model-theoretic Approach to Structures in Set Theory without the Axiom of Choice. Algebra, Logic, Set Theory