Two remarks on the Lifschitz realizability topos

DOI10.2307/2275598MaRDI QIDQ4879901zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

polymorphismeffective toposimpredicative type theoriesLifschitz realizability topos

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(6)

• Lifschitz' realizability
• Some free constructions in realizability and proof theory
• Lifschitz realizability as a topological construction
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Basic subtoposes of the effective topos

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)