Models of intuitionistic set theory in subtoposes of nested realizability toposes

DOI10.1016/J.APAL.2015.03.002zbMath1371.03103arXiv1407.2287OpenAlexW1987689608MaRDI QIDQ2344624

Samuele Maschio, Thomas Streicher

Publication date: 15 May 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.2287

zbMATH Keywords

algebraic set theorytoposesgeneralised realizability

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Categories of sets, characterizations (18B05)

Related Items (1)

On categorical structures arising from implicative algebras: from topology to assemblies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects of predicative algebraic set theory. II: Realizability
• The modified realizability topos
• Aspects of predicative algebraic set theory. I: Exact completion
• Realizability. An introduction to its categorical side
• Relative and modified relative realizability
• Tripos theory
• Can there be no nonrecursive functions?
• Algebraic set theory and the effective topos
• The Herbrand topos

This page was built for publication: Models of intuitionistic set theory in subtoposes of nested realizability toposes