Forcing in Finite Structures (Q4351930)
From MaRDI portal
scientific article; zbMATH DE number 1054295
Language | Label | Description | Also known as |
---|---|---|---|
English | Forcing in Finite Structures |
scientific article; zbMATH DE number 1054295 |
Statements
Forcing in Finite Structures (English)
0 references
11 January 1998
0 references
models of arithmetic
0 references
bounded arithmetic
0 references
finite model theory
0 references
pigeonhole principle
0 references