Charles McCarty

17 papers Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.
Arch. Math. Log.
Stewart Shapiro, Charles McCarty, Michael Rathjen
2024 J jnl
Anselm's Ontological Argument and Grades of being.
Rev. Symb. Log.
Charles McCarty
2023 J jnl
The Axiom of Choice Is False Intuitionistically (in Most Contexts).
Bull. Symb. Log.
Charles McCarty, Stewart Shapiro, Ansten Mørch Klev
2020 J jnl
Satisfiability is False Intuitionistically: A Question from Dana Scott.
Stud Logica
Charles McCarty
2013 J jnl
Antirealism and Constructivism: Brouwer's Weak Counterexamples.
Rev. Symb. Log.
Charles McCarty
2013 J jnl
Brouwer's Weak Counterexamples and Testability: further Remarks.
Rev. Symb. Log.
Charles McCarty
2013 J jnl
Paradox and Potential Infinity.
J. Philos. Log.
Charles McCarty
2009 J jnl
Two questions from Dana Scott: Intuitionistic topologies and continuous functions.
J. Symb. Log.
Charles McCarty
2008 J jnl
Completeness and incompleteness for intuitionistic logic.
J. Symb. Log.
Charles McCarty
1988 J jnl
Constructive Validity is Nonarithmetic.
J. Symb. Log.
Charles McCarty
1988 J jnl
Markov's Principle, Isols and Dedekind Finite Sets.
J. Symb. Log.
Charles McCarty
1987 J jnl
Skolem's paradox and constructivism.
J. Philos. Log.
Charles McCarty, Neil Tennant
1987 J jnl
Variations on a thesis: intuitionism and computability.
Notre Dame J. Formal Log.
Charles McCarty
1986 J jnl
Realizability and recursive set theory.
Ann. Pure Appl. Log.
Charles McCarty
1986 J jnl
Subcountability under realizability.
Notre Dame J. Formal Log.
Charles McCarty
1983 — conf
Information Systems, Continuity and Realizability.
Logic of Programs
Charles McCarty
1983 J jnl
Intuitionism: An introduction to a seminar.
J. Philos. Log.
Charles McCarty