Second-order Ehrenfeucht games and the deciability of the second-order theory of an equivalence relation

摘要

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.