The following pages link to Charles McCarty (Q595650):
Displayed 22 items.
- Intuitionism: An introduction to a seminar (Q595651) (← links)
- Realizability and recursive set theory (Q1094418) (← links)
- Skolem's paradox and constructivism (Q1095905) (← links)
- Subcountability under realizability (Q1098849) (← links)
- Variations on a thesis: intuitionism and computability (Q1102263) (← links)
- Paradox and potential infinity (Q1947035) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- Structuralism and Isomorphism (Q2965616) (← links)
- (Q3222842) (← links)
- Intuitionism and Logical Syntax (Q3507687) (← links)
- (Q3611681) (← links)
- Two questions from Dana Scott: Intuitionistic topologies and continuous functions (Q3630587) (← links)
- Markov's principle, isols and Dedekind finite sets (Q3824408) (← links)
- ANTIREALISM AND CONSTRUCTIVISM: BROUWER’S WEAK COUNTEREXAMPLES (Q4918382) (← links)
- What Is a Number? (Q5149703) (← links)
- Continuity in Intuitionism (Q5149704) (← links)
- Constructive validity is nonarithmetic (Q5202185) (← links)
- Proofs and Constructions (Q5260992) (← links)
- BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS (Q5402237) (← links)
- (Q5493751) (← links)
- Completeness and incompleteness for intuitionistic logic (Q5502819) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)