On Some Results of Jonnsson and Tarski Concerning Free Algebras. H. Jerome Keisler — 1961 Mathematica Scandinavica
Categoricity without equality H. Jerome Keisler; Arnold W. Miller — 2001 Fundamenta Mathematicae We study categoricity in power for reduced models of first order logic without equality.