scientific article; zbMATH DE number 3954905

MaRDI QIDQ3724331zbMATH OpenFDO

Authors Enrico Martino

Publication date 1985

zbMATH Keywords

intuitionismextensional function on choice sequenceslawlike sequencesprinciple of indeterminateness

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• On the Brouwerian concept of negative continuity
• Arguments for the Continuity Principle
• Continuity in intuitionism
• scientific article; zbMATH DE number 5667196
• scientific article; zbMATH DE number 2212005

Cited in

(4)

• On the Brouwerian concept of negative continuity
• Arguments for the Continuity Principle
• scientific article; zbMATH DE number 5239372 (Why is no real title available?)
• The double negation of the intermediate value theorem

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