INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433): Difference between revisions

@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive assertions in an extension of classical mathematics
+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 @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q5597506
@@ Property / cites work: Q5597506 / rank @@
+Normal rank