scientific article; zbMATH DE number 3827862

MaRDI QIDQ3674656zbMATH OpenFDO

Authors Michael Beeson

Publication date 1982

zbMATH Keywords

Bishop's constructivismBrouwerian intuitionismcardinalityChurch's thesisconstructive universecontinuity of functionscontinuum hypothesiscountable choicefunctionsHeine-Borel theoremimplicationMartin-Loef's philosophyobjective intuitionismphilosophies of constructive mathematicspower set axiomproofrecursive real linerecursive realsRussian constructivismset existenceset-theoretic universesets

Mathematics Subject Classification ID

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

Cited in

(2)

• Provability in principle and controversial constructivistic principles
• 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 Q3674656)