scientific article

zbMath0523.03048MaRDI QIDQ3674656

Michael J. Beeson

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

setsChurch's thesiscountable choiceimplicationcontinuum hypothesisfunctionscardinalityproofHeine-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

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

Related Items (2)

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

This page was built for publication: