scientific article; zbMATH DE number 6320249

zbMATH Open1293.03033MaRDI QIDQ5170700

Dirk van Dalen

Publication date: 24 July 2014

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)

Recommendations

• Title not available (Why is that?) 👍 👎
• Some axioms for constructive analysis 👍 👎
• A new model for intuitionistic analysis 👍 👎
• The intended interpretation of intuitionistic logic 👍 👎
• An interpretation of intuitionistic analysis with restricted transfinite inductive definitions 👍 👎
• Constructive mathematics: a foundation for computable analysis 👍 👎
• A negationless interpretation of intuitionistic theories 👍 👎
• On A neglected path to intuitionism 👍 👎
• INTUITIONISTIC ANALYSIS AT THE END OF TIME 👍 👎
• Classical and constructive hierarchies in extended intuitionistic analysis 👍 👎

This page was built for publication:

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