Classifying model-theoretic properties. - Chris J. Conidis (J. Symb. Log., 2008)

A measure-theoretic proof of Turing incomparability. - Chris J. Conidis (Ann. Pure Appl. Log., 2010)

A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one. - Chris J. Conidis (J. Symb. Log., 2012)

Effectively approximating measurable sets by open sets. - Chris J. Conidis (Theor. Comput. Sci., 2012)

Random reals, the rainbow Ramsey theorem, and arithmetic conservation. - Chris J. Conidis; Theodore A. Slaman (J. Symb. Log., 2013)

Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle. - Chris J. Conidis; Noam Greenberg; Daniel Turetsky (Notre Dame J. Formal Log., 2013)

The complexity of ascendant sequences in locally nilpotent groups. - Chris J. Conidis; Richard A. Shore (Int. J. Algebra Comput., 2014)

The Complexity of Module Radicals. - Chris J. Conidis (Notre Dame J. Formal Log., 2021)

D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp. - Chris J. Conidis (Bull. Symb. Log., 2023)

On the Existence of Infinite Monomial Division Chains with Finitely Many Indeterminates. - Chris J. Conidis (CiE, 2024)