The Herbrand topos (Q5891132): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 / full work available at URL @@
+https://doi.org/10.1017/s0305004113000303
+Normal rank
@@ Property / OpenAlex ID @@
+W1991951582
@@ Property / OpenAlex ID: W1991951582 / rank @@
+Normal rank