Two remarks on the Lifschitz realizability topos

DOI10.2307/2275598zbMATH Open0854.03059OpenAlexW2013452787MaRDI QIDQ4879901FDOQ4879901

Authors: Jaap van Oosten 

Publication date: 13 January 1997

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

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

Recommendations

• Lifschitz realizability as a topological construction
• A note on inequivalence of realizability toposes
• The modified realizability topos
• More on Geometric Morphisms between Realizability Toposes
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Geometric morphisms of realizability toposes
• Sheaf toposes for realizability
• scientific article; zbMATH DE number 6290072
• A note on the lattice of \(L\)-topologies
• A note on the lattice of \(L\)-topologies

zbMATH Keywords

polymorphismeffective toposimpredicative type theoriesLifschitz realizability topos

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Topoi (18B25)

Cites Work

• Tripos theory
• A small complete category
• Harvey Friedman's research on the foundations of mathematics
• Relative computability in the effective topos
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• ABOUT MODEST SETS

Cited In (5)

• Lifschitz' realizability
• Some free constructions in realizability and proof theory
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Basic subtoposes of the effective topos
• LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION

This page was built for publication: Two remarks on the Lifschitz realizability topos

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