Effective Model Theory vs. Recursive Model Theory. - John Chisholm (J. Symb. Log., 1990)

The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models. - John Chisholm (J. Symb. Log., 1990)

An Undecidable Linear Order That Is n-Decidable for All n. - John Chisholm; Michael Moses (Notre Dame J. Formal Log., 1998)

Π10 classes and strong degree spectra of relations. - John Chisholm; Jennifer Chubb; Valentina S. Harizanov; Denis R. Hirschfeldt; Carl G. Jockusch Jr.; Timothy H. McNicholl; Sarah Pingrey (J. Symb. Log., 2007)

Computable embeddings and strongly minimal theories. - John Chisholm; Julia F. Knight; Sara Miller (J. Symb. Log., 2007)

Intrinsic bounds on complexity and definability at limit levels. - John Chisholm; Ekaterina B. Fokina; Sergei S. Goncharov; Valentina S. Harizanov; Julia F. Knight; Sara Quinn (J. Symb. Log., 2009)

Contextual topic discovery using unsupervised keyphrase extraction and hierarchical semantic graph model. - Hung Du; Srikanth Thudumu; Antonio Giardina; Rajesh Vasa; Kon Mouzakis; Li Jiang; John Chisholm; Sanat Bista (J. Big Data, 2023)