No label defined (Q5711939)
From MaRDI portal
scientific article; zbMATH DE number 2236687
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2236687 |
Statements
8 December 2005
0 references
theories of induction
0 references
model-theoretic independence proofs
0 references
Paris-Harrington principle
0 references
unprovability
0 references
combinatorial statements
0 references
indiscernibles
0 references
Kanamori-McAloon principle
0 references
survey
0 references