Lifschitz' realizability

DOI10.2307/2274666MaRDI QIDQ3483284zbMATH OpenOpenAlexFDO

Authors 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

Church's thesis with uniqueness conditionintuitionistic arithmeticLifschitz' realizability

Mathematics Subject Classification ID

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

Recommendations

• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Lifschitz realizability as a topological construction
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Two remarks on the Lifschitz realizability topos
• scientific article; zbMATH DE number 1215498

Cites work

• Constructivism in mathematics. An introduction. Volume I

Cited in

(16)

• Extensional realizability
• Lewis meets Brouwer: constructive strict implication
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Realizability with a local operator of A. M. Pitts
• Classical consequences of continuous choice principles from intuitionistic analysis
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• From the weak to the strong existence property
• Some axioms for constructive analysis
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Lifschitz realizability as a topological construction
• Analyzing realizability by Troelstra's methods
• Realizations and LP
• Mathematics based on incremental learning -- excluded middle and inductive inference

This page was built for publication: Lifschitz' realizability

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