Realizability and recursive set theory
From MaRDI portal
Publication:1094418
DOI10.1016/0168-0072(86)90050-3zbMath0631.03035OpenAlexW2091208636MaRDI QIDQ1094418
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90050-3
Related Items (20)
Realizability and recursive set theory ⋮ CZF does not have the existence property ⋮ INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ Polynomial-time axioms of choice and polynomial-time cardinality ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ Satisfiability is false intuitionistically: a question from Dana Scott ⋮ Embeddings between partial combinatory algebras ⋮ Realisability for infinitary intuitionistic set theory ⋮ Induction, constructivity, and grounding ⋮ On co-simple isols and their intersection types ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION ⋮ Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II ⋮ The disjunction and related properties for constructive Zermelo-Fraenkel set theory ⋮ A categorical reading of the numerical existence property in constructive foundations ⋮ ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus
Cites Work
This page was built for publication: Realizability and recursive set theory
