Article contents
Second-order Ehrenfeucht games and the deciability of the second-order theory of an equivalence relation
Published online by Cambridge University Press: 09 April 2009
Abstract
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.
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 20 , Issue 3 , November 1975 , pp. 323 - 331
- Copyright
- Copyright © Australian Mathematical Society 1975
References
- 3
- Cited by