scientific article

zbMath0272.02039MaRDI QIDQ3214891

John Myhill

Publication date: 1973

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items

Reconsidering pairs and functions as sets, Lindenbaum algebras of intuitionistic theories and free categories, CZF does not have the existence property, Finite sets and natural numbers in intuitionistic TT, Unifying sets and programs via dependent types, Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory, Choice and independence of premise rules in intuitionistic set theory, Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version, Ordered combinatory algebras and realizability, Realisability for infinitary intuitionistic set theory, From the weak to the strong existence property, The consistency of some intuitionistic and constructive principles with a set theory, Bibliography of John Myhill, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY, 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, Morse set theory as a foundation for constructive mathematics, Constructive mathematics: a foundation for computable analysis, Set existence property for intuitionistic theories with dependent choice, The lack of definable witnesses and provably recursive functions in intuitionistic set theories