scientific article

zbMath0592.03043MaRDI QIDQ3720593

John Myhill

Publication date: 1985

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator, Integrating classical and intuitionistic type theory, 1998 Spring Meeting of the Association for Symbolic Logic, Cardinality without enumeration