The inconsistency of Bernini's very strong intuitionistic theory

DOI10.1007/BF02176167MaRDI QIDQ754198zbMATH OpenOpenAlexFDO

Authors Norbert Wendel

Publication date 1978

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

choice functionalsconsistencyinterpretabilityintuitionistic formal systems

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites work

• A very strong intuitionistic theory

Cited in

(2)

• Intuitionistic theory of functionals of higher type
• A strong multi-typed intuitionistic theory of functionals

This page was built for publication: The inconsistency of Bernini's very strong intuitionistic theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754198)