Charles McCarty

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 2

Top Topics

Phase Transition

Learning Theory

Terminological Reasoning

Top Venues

Rev. Symb. Log.

Bull. Symb. Log.

J. Philos. Log.

Publications

Charles McCarty, Stewart Shapiro, Ansten Mørch Klev
The Axiom of Choice Is False Intuitionistically (in Most Contexts). Bull. Symb. Log. 29 (1) (2023)
Charles McCarty
Satisfiability is False Intuitionistically: A Question from Dana Scott. Stud Logica 108 (4) (2020)
Charles McCarty
Brouwer's Weak Counterexamples and Testability: further Remarks. Rev. Symb. Log. 6 (3) (2013)
Charles McCarty
Paradox and Potential Infinity. J. Philos. Log. 42 (1) (2013)
Charles McCarty
Antirealism and Constructivism: Brouwer's Weak Counterexamples. Rev. Symb. Log. 6 (1) (2013)
Charles McCarty
Two questions from Dana Scott: Intuitionistic topologies and continuous functions. J. Symb. Log. 74 (2) (2009)
Charles McCarty
Completeness and incompleteness for intuitionistic logic. J. Symb. Log. 73 (4) (2008)
Charles McCarty
Constructive Validity is Nonarithmetic. J. Symb. Log. 53 (4) (1988)
Charles McCarty
Markov's Principle, Isols and Dedekind Finite Sets. J. Symb. Log. 53 (4) (1988)
Charles McCarty, Neil Tennant
Skolem's paradox and constructivism. J. Philos. Log. 16 (2) (1987)
Charles McCarty
Variations on a thesis: intuitionism and computability. Notre Dame J. Formal Log. 28 (4) (1987)
Charles McCarty
Realizability and recursive set theory. Ann. Pure Appl. Log. 32 (1986)
Charles McCarty
Subcountability under realizability. Notre Dame J. Formal Log. 27 (2) (1986)
Charles McCarty
Intuitionism: An introduction to a seminar. J. Philos. Log. 12 (2) (1983)
Charles McCarty
Information Systems, Continuity and Realizability. Logic of Programs (1983)