The Herbrand topos (Q5891131): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3837
@@ Property / arXiv ID: 1112.3837 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded modified realizability
@@ Property / cites work: Bounded modified realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
@@ Property / cites work @@
+The modified realizability topos
@@ Property / cites work: The modified realizability topos / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on a thesis: intuitionism and computability
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / OpenAlex ID @@
+W1991951582
@@ Property / OpenAlex ID: W1991951582 / rank @@
+Normal rank