Forcing on bounded arithmetic II (Q4227870)
From MaRDI portal
scientific article; zbMATH DE number 1247637
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Forcing on bounded arithmetic II |
scientific article; zbMATH DE number 1247637 |
Statements
Forcing on bounded arithmetic II (English)
0 references
31 August 1999
0 references
bounded arithmetic
0 references
forcing
0 references
Boolean valued models
0 references
P=NP
0 references
NP=co-NP
0 references
