Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomial time ultrapowers and the consistency of circuit lower bounds |
scientific article |
Statements
Polynomial time ultrapowers and the consistency of circuit lower bounds (English)
0 references
17 January 2020
0 references
restricted ultrapowers
0 references
bounded arithmetic
0 references
circuit lower bounds
0 references
0 references
0 references
