Worms, gaps, and hydras (Q5462986)
From MaRDI portal
scientific article; zbMATH DE number 2189435
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Worms, gaps, and hydras |
scientific article; zbMATH DE number 2189435 |
Statements
Worms, gaps, and hydras (English)
0 references
1 August 2005
0 references
Kirby-Paris Hydra Game
0 references
Beklemishev's Worm Principle
0 references
independence results
0 references
well-quasi-order
0 references
gap-embedding
0 references
provability logic
0 references
gap-embeddability
0 references
