scientific article
From MaRDI portal
Publication:3866108
zbMath0429.03041MaRDI QIDQ3866108
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
forcingextensionalityseparable metric spacecontinuity principlesintuitionistic ZF set theoryderived rules of inferencerecursive realizability interpretation
Constructive and recursive analysis (03F60) Consistency and independence results (03E35) Intuitionistic mathematics (03F55) Set theory (03E99) Relative consistency and interpretations (03F25)
Related Items (12)
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Realizability and recursive set theory ⋮ EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ Numerical existence property and categories with an internal copy ⋮ Realisability for infinitary intuitionistic set theory ⋮ From the weak to the strong existence property ⋮ Effectivity properties of intuitionistic set theory with collection scheme ⋮ Characterizing the interpretation of set theory in Martin-Löf type theory ⋮ Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets ⋮ Large sets in intuitionistic set theory ⋮ The lack of definable witnesses and provably recursive functions in intuitionistic set theories
This page was built for publication:
