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

@@ Property / DOI @@
-.1007/s00153-011-0238-7
@@ Property / DOI: 10.1007/s00153-011-0238-7 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2092553530
@@ Property / OpenAlex ID: W2092553530 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00153-011-0238-7
@@ Property / DOI: 10.1007/S00153-011-0238-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:634777