Polynomial time operations in explicit mathematics (Q4358055): Difference between revisions

@@ Property / cites work @@
+Totality in applicative theories
@@ Property / cites work: Totality in applicative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Asymmetric Interpretations for Bounded Theories
@@ Property / cites work: Asymmetric Interpretations for Bounded Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+A feasible theory for analysis
@@ Property / cites work: A feasible theory for analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
+Normal rank
@@ Property / cites work @@
+Hilbert's program relativized; Proof-theoretical and foundational reductions
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank