scientific article; zbMATH DE number 3827862

zbMATH Open0523.03048MaRDI QIDQ3674656FDOQ3674656

Authors: Michael Beeson 

Publication date: 1982

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

zbMATH Keywords

setscardinalityimplicationfunctionscontinuum hypothesiscountable choiceproofChurch's thesisHeine-Borel theoremrecursive realscontinuity of functionspower set axiomset-theoretic universeconstructive universeBishop's constructivismBrouwerian intuitionismMartin-Loef's philosophyobjective intuitionismphilosophies of constructive mathematicsrecursive real lineRussian constructivismset existence

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

Cited In (2)

• Classical and constructive hierarchies in extended intuitionistic analysis
• Provability in principle and controversial constructivistic principles

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 Q3674656)