Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results |
scientific article |
Statements
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (English)
0 references
22 September 2005
0 references
analytic combinatorics
0 references
proof-theoretic ordinals
0 references
ordinal analysis
0 references
independence results for systems of arithmetic
0 references
Tauberian theory
0 references
logical limit laws
0 references
survey
0 references
0 references
0 references
0 references
0 references
0 references
