scientific article; zbMATH DE number 4049641

MaRDI QIDQ3786480zbMATH OpenFDO

Authors Joop Niekus

Publication date 1987

zbMATH Keywords

creating subjectintuitionistic mathematicsKripke models

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Recommendations

• Creative subject, Beth models and neighbourhood functions
• Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
• On the semantic completeness of the logics of the creating subject
• From Brouwerian counter examples to the creating subject
• The logic of a creative subject: conservativism versus intuitionistic predicate calculus

Cited in

(4)

• The method of creative telescoping
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Creative subject, Beth models and neighbourhood functions
• On the semantic completeness of the logics of the creating subject

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