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.
Gespeichert in:
| Veröffentlicht in: | Journal of the Australian Mathematical Society (2001) 1975-11, Vol.20 (3), p.323-331 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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. |
|---|---|
| ISSN: | 1446-7887 1446-8107 |
| DOI: | 10.1017/S1446788700020681 |