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 (21)

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

This page was built for publication: