Admissible closures of polynomial time computable arithmetic (Q634777): Difference between revisions

@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+A Conservation Result Concerning Bounded Theories and the Collection Axiom
+Normal rank
@@ Property / cites work @@
+Asymmetric Interpretations for Bounded Theories
@@ Property / cites work: Asymmetric Interpretations for Bounded Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035308
@@ Property / cites work: Q4035308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4867394
@@ Property / cites work: Q4867394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968923
@@ Property / cites work: Q3968923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778746
@@ Property / cites work: Q3778746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+The provably terminating operations of the subsystem PETJ of explicit mathematics
+Normal rank
@@ Property / cites work @@
+The strength of extensionality. II: Weak weak set theories without infinity
+Normal rank
@@ Property / cites work @@
+Q4395612
@@ Property / cites work: Q4395612 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary explicit types and polynomial time operations
+Normal rank
@@ Property / cites work @@
+Realisability in weak systems of explicit mathematics
+Normal rank