Realizability and recursive set theory (Q1094418): Difference between revisions

@@ 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.1016/0168-0072(86)90050-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2091208636
@@ Property / OpenAlex ID: W2091208636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866108
@@ Property / cites work: Q3866108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005437
@@ Property / cites work: Q3005437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661491
@@ Property / cites work: Q5661491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q3214888
@@ Property / cites work: Q3214888 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism: An introduction to a seminar
@@ Property / cites work: Intuitionism: An introduction to a seminar / rank @@
+Normal rank
@@ Property / cites work @@
+Some Counterexamples in the Theory of Regressive Sets
+Normal rank
@@ Property / cites work @@
+Q5633977
@@ Property / cites work: Q5633977 / rank @@
+Normal rank