Functoriality of modified realizability
type: Item
instance of: scholarly article
title: Functoriality of modified realizability
zbMATH Open document ID: 1386.18008
published in: Tbilisi Mathematical Journal
publication date: 2017-12-08T00:00:00Z
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03D65
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 08A55
zbMATH DE Number: 6816536
zbMATH Keywords: realizability topos
zbMATH Keywords: modified realizability
zbMATH Keywords: Schönfinkel algebra
author: Peter Johnstone
MaRDI profile type: Publication
full work available at URL: tmj-2017-0109
OpenAlex ID: W2774746460
cites work: The Herbrand topos
cites work: Relative and modified relative realizability
cites work: More on Geometric Morphisms between Realizability Toposes
cites work: Q4207884
cites work: Ordered partial combinatory algebras
cites work: Tripos theory
cites work: Q4281473
cites work: Q4783274
cites work: Geometric morphisms of realizability toposes
cites work: Q5413231
cites work: Local Maps of Toposes
cites work: A note on inequivalence of realizability toposes
cites work: The modified realizability topos
cites work: A general form of relative recursion
cites work: Realizability. An introduction to its categorical side
DOI: 10.1515/TMJ-2017-0109
description: scientific article; zbMATH DE number 6816536