| |
| 1998 | ||
|---|---|---|
| 3 | John Chisholm, Michael Moses: An Undecidable Linear Order That Is n-Decidable for All n. Notre Dame Journal of Formal Logic 39(4): 519-526 (1998) | |
| 1990 | ||
| 2 | John Chisholm: Effective Model Theory vs. Recursive Model Theory. J. Symb. Log. 55(3): 1168-1191 (1990) | |
| 1 | John Chisholm: The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models. J. Symb. Log. 55(3): 1213-1232 (1990) | |
| 1 | Michael Moses | [3] |