Basic subtoposes of the effective topos
From MaRDI portal
Publication:387125
DOI10.1016/J.APAL.2013.04.001zbMath1288.18001arXiv1201.2571OpenAlexW2082543867MaRDI QIDQ387125
Publication date: 11 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1201.2571
Categorical logic, topoi (03G30) Topoi (18B25) Applications of computability and recursion theory (03D80)
Related Items (7)
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes ⋮ Realizability with a local operator of A. M. Pitts ⋮ Mass problems and intuitionistic higher-order logic ⋮ A Kuroda-style \(j\)-translation ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION ⋮ Aspects of Categorical Recursion Theory ⋮ Lawvere-Tierney topologies for computability theorists
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Medvedev lattice of computably closed sets
- Mass problems and intuitionism
- Realizability. An introduction to its categorical side
- Variations on a thesis: intuitionism and computability
- Sheaves in geometry and logic: a first introduction to topos theory
- A model for intuitionistic non-standard arithmetic
- Constructive logic and the Medvedev lattice
- Weihrauch degrees, omniscience principles and weak computability
- Relative computability in the effective topos
- Some remarks on the algebraic structure of the Medvedev Lattice
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
- Minimal models of Heyting arithmetic
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem
- Two remarks on the Lifschitz realizability topos
This page was built for publication: Basic subtoposes of the effective topos
