Publication:3214891
From MaRDI portal
zbMath0272.02039MaRDI QIDQ3214891
Publication date: 1973
03E70: Nonclassical and second-order set theories
03F55: Intuitionistic mathematics
03B55: Intermediate logics
Related Items
Choice and independence of premise rules in intuitionistic set theory, Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version, Reconsidering pairs and functions as sets, Unifying sets and programs via dependent types, From the weak to the strong existence property, Integrating classical and intuitionistic type theory, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets, Intuitionistic typical ambiguity, Set existence property for intuitionistic theories with dependent choice, The lack of definable witnesses and provably recursive functions in intuitionistic set theories, Lindenbaum algebras of intuitionistic theories and free categories, The consistency of some intuitionistic and constructive principles with a set theory, Bibliography of John Myhill, Constructive mathematics: a foundation for computable analysis, Finite sets and natural numbers in intuitionistic TT, Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory, Morse set theory as a foundation for constructive mathematics, CZF does not have the existence property, Realisability for infinitary intuitionistic set theory, Ordered combinatory algebras and realizability, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY