Forcing in Finite Structures (Q4351930)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Forcing in Finite Structures |
scientific article; zbMATH DE number 1054295
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.7686031460762024
0 references
0.7642977833747864
0 references
0.750169038772583
0 references
0.7492278218269348
0 references
