| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 8904285 | Annals of Pure and Applied Logic | 2018 | 21 Pages |
Abstract
Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fraïssé game on A and B. Ordinals and m-coloured ordinals are studied up to n-equivalence for various values of m and n.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
F. Mwesigye, J.K. Truss,