Models of intuitionistic set theory in subtoposes of nested realizability toposes (Q2344624): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2015.03.002
@@ Property / DOI: 10.1016/j.apal.2015.03.002 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1987689608
@@ Property / OpenAlex ID: W1987689608 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2287
@@ Property / arXiv ID: 1407.2287 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. I: Exact completion
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. II: Realizability
+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 @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5413231
@@ Property / cites work: Q5413231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic set theory and the effective topos
@@ Property / cites work: Algebraic set theory and the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+Can there be no nonrecursive functions?
@@ Property / cites work: Can there be no nonrecursive functions? / rank @@
+Normal rank
@@ Property / cites work @@
+The modified realizability topos
@@ Property / cites work: The modified realizability topos / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Q3671153
@@ Property / cites work: Q3671153 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2015.03.002
@@ Property / DOI: 10.1016/J.APAL.2015.03.002 / rank @@
+Normal rank