No CrossRef data available.
Published online by Cambridge University Press: 09 April 2009
In this paper we extend a method of Ehrenfeucht and Fraissé to second-order theories and use this extension to prove the decidability of the second-order theory of an equivalence relation.