Sheaf toposes for realizability

DOI10.1007/s00153-008-0090-6zbMath1161.03036OpenAlexW2069898398MaRDI QIDQ938241

Steven Awodey, Andrej Bauer

Publication date: 18 August 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/Sheaf_Toposes_for_Realizability/6492671

zbMATH Keywords

Grothendieck toposesgeometric morphismspartial combinatory algebrasrealizability modelssheaf toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Recursive equivalence types of sets and structures, isols (03D50)

Related Items (1)

A Relationship between Equilogical Spaces and Type Two Effectivity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Sheaves in geometry and logic: a first introduction to topos theory
• Developing theories of types and computability via realizability
• Equilogical spaces
• Local Maps of Toposes
• Data Types as Lattices

This page was built for publication: Sheaf toposes for realizability