Incompleteness in intuitionistic metamathematics

DOI10.1305/ndjfl/1093635833zbMath0751.03030OpenAlexW2088214355MaRDI QIDQ1182705

David Charles McCarty

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635833

zbMATH Keywords

completenessincompletenessintuitionistic foundationsphilosophical exposition of metamathematical results

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Related Items (11)

Intuitionistic completeness and classical logic ⋮ Non-classical metatheory for non-classical logics ⋮ Parametric Church's thesis: synthetic computability without choice ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Intermediate logics and the de Jongh property ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ Rules and arithmetics ⋮ Reflexive intermediate propositional logics ⋮ Negationless intuitionism ⋮ Predicate Logics of Constructive Arithmetical Theories ⋮ Completeness and incompleteness for intuitionistic logic

This page was built for publication: Incompleteness in intuitionistic metamathematics