Lifschitz' realizability

DOI10.2307/2274666zbMath0704.03040OpenAlexW4237272472MaRDI QIDQ3483284

Jaap van Oosten

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274666

zbMATH Keywords

intuitionistic arithmeticChurch's thesis with uniqueness conditionLifschitz' realizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (13)

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts ⋮ Extensional realizability ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ From the weak to the strong existence property ⋮ Some axioms for constructive analysis ⋮ Classical consequences of continuous choice principles from intuitionistic analysis ⋮ Analyzing realizability by Troelstra's methods ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION ⋮ A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection ⋮ Mathematics based on incremental learning -- excluded middle and inductive inference

Cites Work

• Constructivism in mathematics. An introduction. Volume I

This page was built for publication: Lifschitz' realizability