Pages that link to "Item:Q1094418"
From MaRDI portal
The following pages link to Realizability and recursive set theory (Q1094418):
Displaying 27 items.
- Sound, totally sound, and unsound recursive equivalence types (Q581397) (← links)
- Generalizing realizability and Heyting models for constructive set theory (Q651324) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Manifolds allowing RET arithmetic (Q790107) (← links)
- Realizability and recursive set theory (Q1094418) (← links)
- Subcountability under realizability (Q1098849) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- On co-simple isols and their intersection types (Q1192351) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Turing cones and set theory of the reals (Q1407517) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Induction, constructivity, and grounding (Q1981997) (← links)
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340) (← links)
- Universality of Regular Realizability Problems (Q4928492) (← links)
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- (Q5294535) (← links)
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
- REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- Polynomial-time axioms of choice and polynomial-time cardinality (Q6109071) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
- The complexity of completions in partial combinatory algebra (Q6635151) (← links)