๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Worms, gaps, and hydras

โœ Scribed by Lorenzo Carlucci


Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
173 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


We define a direct translation from finite rooted trees to finite natural functions which shows that the Worm Principle introduced by Lev Beklemishev is equivalent to a very slight variant of the well-known Kirby-Paris' Hydra Game. We further show that the elements in a reduction sequence of the Worm Principle determine a bad sequence in the well-quasi-ordering of finite sequences of natural numbers with respect to Friedman's gapembeddability. A characterization of gap-embeddability in terms of provability logic due to Lev Beklemishev is also presented.


๐Ÿ“œ SIMILAR VOLUMES


cover
โœ Rebecca Chastain ๐Ÿ“‚ Fiction ๐Ÿ“… 2021 ๐Ÿ› Mind Your Muse Books ๐ŸŒ English โš– 422 KB ๐Ÿ‘ 2 views

**With her gargoyle companion at her side, Kylie chases the most dangerous story of her life. Dive back into the extraordinary new series filled with elemental magic, mythic creatures, and heroic gargoyles today!** Pursuing the story of a lifetime is supposed to be Kylie's greatest achievement, not

Worms
๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Wiley (John Wiley & Sons) โš– 253 KB
cover
โœ Montague, James R. ๐Ÿ“‚ Fiction ๐Ÿ“… 2018 ๐Ÿ› Valancourt Books ๐ŸŒ en-GB โš– 107 KB

The Norfolk coast made for a perfect holiday - as long as the sun still shone. But when the rain came, the creatures left the shadows . . . **WORMS** Spectres from the past tortured James Hildebrand's mind. His blackest nightmares were crowded with malevolent, coiling images of decay. Then, sudden

Fish, CHIPS and Worms
โœ Bill Boni ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 340 KB
cover
โœ Matt Wesolowski ๐Ÿ“‚ Fiction ๐Ÿ“… 2018 ๐Ÿ› Orenda Books Ltd ๐ŸŒ English โš– 158 KB ๐Ÿ‘ 2 views

Before Scarfell Claw, there was Hydra... One cold November night in 2014, in a small town in the north west of England, 26-year-old Arla Macleod bludgeoned her mother, father and younger sister to death with a hammer, in an unprovoked attack known as the 'Macleod Massacre'. Now incarcerated at a med

Lincolnshire โ€“ gaps and more gaps
โœ Allan Straw ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 365 KB

The history of the possible flows of rivers through the Lincoln and Ancaster Gaps, and other gaps in Lincoln Edge and the Lincolnshire Wolds, is far from settled; puzzles remain. Quaternary geology influenced the geomorphological phenomena above.