What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (Q1899145): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3794177 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3487327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How easy is local search? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank | |||
Normal rank |
Latest revision as of 17:31, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? |
scientific article |
Statements
What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (English)
0 references
2 November 1995
0 references
bounded arithmetic
0 references
provability
0 references
witnesses
0 references
PLS-problems
0 references