Charles McCarty

According to our database, Charles McCarty authored at least 17 papers between 1983 and 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2025

Intuitionistic sets and numbers: small set theory and Heyting arithmetic.

Stewart Shapiro, Charles McCarty, Michael Rathjen

Arch. Math. Log., February, 2025

2024

Anselm's Ontological Argument and Grades of being.

Charles McCarty

Rev. Symb. Log., 2024

2023

The Axiom of Choice Is False Intuitionistically (in Most Contexts).

Charles McCarty, Stewart Shapiro, Ansten Mørch Klev

Bull. Symb. Log., March, 2023

2020

Satisfiability is False Intuitionistically: A Question from Dana Scott.

Charles McCarty

Stud Logica, 2020

2013

Brouwer's Weak Counterexamples and Testability: further Remarks.

Charles McCarty

Rev. Symb. Log., 2013

Antirealism and Constructivism: Brouwer's Weak Counterexamples.

Charles McCarty

Rev. Symb. Log., 2013

Paradox and Potential Infinity.

Charles McCarty

J. Philos. Log., 2013

2009

Two questions from Dana Scott: Intuitionistic topologies and continuous functions.

Charles McCarty

J. Symb. Log., 2009

2008

Completeness and incompleteness for intuitionistic logic.

Charles McCarty

J. Symb. Log., 2008

1988

Markov's Principle, Isols and Dedekind Finite Sets.

Charles McCarty

J. Symb. Log., 1988

Constructive Validity is Nonarithmetic.

Charles McCarty

J. Symb. Log., 1988

1987

Variations on a thesis: intuitionism and computability.

Charles McCarty

Notre Dame J. Formal Log., 1987

Skolem's paradox and constructivism.

Charles McCarty, Neil Tennant

J. Philos. Log., 1987

1986

Subcountability under realizability.

Charles McCarty

Notre Dame J. Formal Log., 1986

Realizability and recursive set theory.

Charles McCarty

Ann. Pure Appl. Log., 1986

1983

Intuitionism: An introduction to a seminar.

Charles McCarty

J. Philos. Log., 1983

Information Systems, Continuity and Realizability.

Charles McCarty

Proceedings of the Logics of Programs, 1983