END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2015.53
@@ Property / DOI: 10.1017/jsl.2015.53 / rank @@
-Normal rank
@@ Property / author @@
-Leszek Aleksander Kołodziejczyk
@@ Property / author: Leszek Aleksander Kołodziejczyk / rank @@
-Normal rank
@@ Property / author @@
+Leszek Aleksander Kołodziejczyk
@@ Property / author: Leszek Aleksander Kołodziejczyk / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963100062
@@ Property / OpenAlex ID: W2963100062 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6864
@@ Property / arXiv ID: 1411.6864 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing and combinatorics. 5th annual international conference. COCOON '99, Tokyo, Japan, July 26--28, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary models generated by their tally part
@@ Property / cites work: Binary models generated by their tally part / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of sharply bounded induction
@@ Property / cites work: The strength of sharply bounded induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
+Normal rank
@@ Property / cites work @@
+The strength of sharply bounded induction requires MSP
+Normal rank
@@ Property / cites work @@
+A proof-theoretic analysis of collection
@@ Property / cites work: A proof-theoretic analysis of collection / rank @@
+Normal rank
@@ Property / cites work @@
+On End‐Extensions of Models of ¬exp
@@ Property / cites work: On End‐Extensions of Models of ¬exp / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996675
@@ Property / cites work: Q3996675 / rank @@
+Normal rank
@@ Property / cites work @@
+End extensions of models of linearly bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Rudimentary Predicates and Relative Computation
@@ Property / cites work: Rudimentary Predicates and Relative Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic and the polynomial hierarchy
@@ Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2015.53
@@ Property / DOI: 10.1017/JSL.2015.53 / rank @@
+Normal rank