Separations of first and second order theories in bounded arithmetic (Q2388431): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-005-0281-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1969021196
@@ Property / OpenAlex ID: W1969021196 / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine Problems Over Local Fields I
@@ Property / cites work: Diophantine Problems Over Local Fields I / rank @@
+Normal rank
@@ Property / cites work @@
+Relating the bounded arithmetic and polynomial time hierarchies
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / 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 / cites work @@
+Q3487339
@@ Property / cites work: Q3487339 / rank @@
+Normal rank
@@ Property / cites work @@
+\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
@@ Property / cites work: \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140644
@@ Property / cites work: Q3140644 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on polynomially bounded arithmetic
@@ Property / cites work: Notes on polynomially bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+End extensions of models of linearly bounded arithmetic
+Normal rank