No label defined (Q4893139)
From MaRDI portal
scientific article; zbMATH DE number 922619
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 922619 |
Statements
15 June 1997
0 references
polynomial time computability
0 references
bounded arithmetic
0 references
models of arithmetic
0 references
two-sorted structure
0 references
forcing extensions
0 references