Functoriality of modified realizability (Q1683375): Difference between revisions

@@ Property / author @@
+Peter T. Johnstone
@@ Property / author: Peter T. Johnstone / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/tmj-2017-0109
+Normal rank
@@ Property / OpenAlex ID @@
+W2774746460
@@ Property / OpenAlex ID: W2774746460 / rank @@
+Normal rank
@@ Property / cites work @@
+The Herbrand topos
@@ Property / cites work: The Herbrand topos / rank @@
+Normal rank
@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+More on Geometric Morphisms between Realizability Toposes
+Normal rank
@@ Property / cites work @@
+Q4207884
@@ Property / cites work: Q4207884 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered partial combinatory algebras
@@ Property / cites work: Ordered partial combinatory algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281473
@@ Property / cites work: Q4281473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847361
@@ Property / cites work: Q2847361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5413231
@@ Property / cites work: Q5413231 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Maps of Toposes
@@ Property / cites work: Local Maps of Toposes / rank @@
+Normal rank
@@ Property / cites work @@
+A note on inequivalence of realizability toposes
@@ Property / cites work: A note on inequivalence of realizability toposes / rank @@
+Normal rank
@@ Property / cites work @@
+The modified realizability topos
@@ Property / cites work: The modified realizability topos / rank @@
+Normal rank
@@ Property / cites work @@
+A general form of relative recursion
@@ Property / cites work: A general form of relative recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank