John Chisholm

	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)

Coauthor Index

1

Michael Moses

[3]