scientific article; zbMATH DE number 3950520

MaRDI QIDQ3720593zbMATH OpenFDO

Authors John Myhill

Publication date 1985

zbMATH Keywords

extension of ZFintuitionist notion of constructive existence proofintuitionist notions of existence and disjunction

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 3841848
• Intuitionistic set theory
• On the quantificational logic of intuitionistic set theory
• Publication:4726244
• Intensional positive set theory

Cited in

(23)

• Globalization of intuitionistic set theory
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Extensive forms and set-theoretic forms
• Surveyable sets
• Global intuitionistic analysis
• Intuitive set theory
• scientific article; zbMATH DE number 3841848 (Why is no real title available?)
• Intensional positive set theory
• scientific article; zbMATH DE number 3948263 (Why is no real title available?)
• 1998 Spring Meeting of the Association for Symbolic Logic
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• scientific article; zbMATH DE number 3999912 (Why is no real title available?)
• scientific article; zbMATH DE number 749939 (Why is no real title available?)
• Set theory with a proper class of indiscernibles
• Logic Programming
• Intuitionistic set theory
• Intuitionistic sets and ordinals
• Integrating classical and intuitionistic type theory
• Visualization of intuitive set theory
• On existence in set theory
• Nondeterministic first-order T-BAT logic
• Intensionality in mathematics
• Cardinality without enumeration

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