Incompleteness in intuitionistic metamathematics
From MaRDI portal
Publication:1182705
DOI10.1305/ndjfl/1093635833zbMath0751.03030OpenAlexW2088214355MaRDI QIDQ1182705
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
completenessincompletenessintuitionistic foundationsphilosophical exposition of metamathematical results
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items
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
