Information Systems, Continuity and Realizability. - Charles McCarty (Logic of Programs, 1983)

Intuitionism: An introduction to a seminar. - Charles McCarty (J. Philos. Log., 1983)

Realizability and recursive set theory. - Charles McCarty (Ann. Pure Appl. Log., 1986)

Subcountability under realizability. - Charles McCarty (Notre Dame J. Formal Log., 1986)

Skolem's paradox and constructivism. - Charles McCarty; Neil Tennant (J. Philos. Log., 1987)

Variations on a thesis: intuitionism and computability. - Charles McCarty (Notre Dame J. Formal Log., 1987)

Constructive Validity is Nonarithmetic. - Charles McCarty (J. Symb. Log., 1988)

Markov's Principle, Isols and Dedekind Finite Sets. - Charles McCarty (J. Symb. Log., 1988)

Completeness and incompleteness for intuitionistic logic. - Charles McCarty (J. Symb. Log., 2008)

Two questions from Dana Scott: Intuitionistic topologies and continuous functions. - Charles McCarty (J. Symb. Log., 2009)

Paradox and Potential Infinity. - Charles McCarty (J. Philos. Log., 2013)

Antirealism and Constructivism: Brouwer's Weak Counterexamples. - Charles McCarty (Rev. Symb. Log., 2013)

Brouwer's Weak Counterexamples and Testability: further Remarks. - Charles McCarty (Rev. Symb. Log., 2013)

Satisfiability is False Intuitionistically: A Question from Dana Scott. - Charles McCarty (Stud Logica, 2020)

The Axiom of Choice Is False Intuitionistically (in Most Contexts). - Charles McCarty; Stewart Shapiro; Ansten Mørch Klev (Bull. Symb. Log., 2023)

Anselm's Ontological Argument and Grades of being. - Charles McCarty (Rev. Symb. Log., 2024)

Intuitionistic sets and numbers: small set theory and Heyting arithmetic. - Stewart Shapiro; Charles McCarty; Michael Rathjen (Arch. Math. Log., 2025)