Intuitionistic choice and classical logic

DOI10.1007/s001530050003zbMath0947.03078OpenAlexW2031330107MaRDI QIDQ1976877

Thierry Coquand, Erik Palmgren

Publication date: 5 November 2000

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050003

zbMATH Keywords

Boolean sheavesconstructive meaningintuitionistic choice

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ Wellfounded trees in categories ⋮ Heyting-valued interpretations for constructive set theory