scientific article; zbMATH DE number 3427308

Cited in

(41)

The lack of definable witnesses and provably recursive functions in intuitionistic set theories
Arithmetic transfinite induction and recursive well-orderings
Lindenbaum algebras of intuitionistic theories and free categories
Realizability and recursive set theory
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
Kleene computable functionals and the higher order existence property
Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
Intuitionist type theory and the free topos
The consistency of some intuitionistic and constructive principles with a set theory
Theory of proofs (arithmetic and analysis)
The scope of Feferman's semi-intuitionistic set theories and his second conjecture
Typing and computational properties of lambda expressions
Towards a computation system based on set theory
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
A categorical reading of the numerical existence property in constructive foundations
Models of intuitionistic set theory in subtoposes of nested realizability toposes
CZF does not have the existence property
Realisability for infinitary intuitionistic set theory
Ordered combinatory algebras and realizability
Relativized ordinal analysis: the case of power Kripke-Platek set theory
From the weak to the strong existence property
Implicative algebras: a new foundation for realizability and forcing
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Aspects of predicative algebraic set theory. II: Realizability
Classical realizability and arithmetical formulæ
Integrating classical and intuitionistic type theory
Rules and arithmetics
Type theories, toposes and constructive set theory: Predicative aspects of AST
Analyzing realizability by Troelstra's methods
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
Choice and independence of premise rules in intuitionistic set theory
Intermediate logics and the de Jongh property
Generalizing realizability and Heyting models for constructive set theory
Implicative models of set theory
On the existence and disjunction properties in structural set theory
The proof-theoretic strength of constructive second-order set theories
Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies
Set existence property for intuitionistic theories with dependent choice
Large sets in intuitionistic set theory
Aspects of predicative algebraic set theory. I: Exact completion

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3214890)