The inconsistency of Bernini's very strong intuitionistic theory

DOI10.1007/BF02176167zbMATH Open0416.03051OpenAlexW1993665140MaRDI QIDQ754198FDOQ754198

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

consistencyinterpretabilitychoice functionalsintuitionistic formal systems

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• A very strong intuitionistic theory

Cited In (2)

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

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)