Hyperarithmetical worm battles

DOI10.1007/978-3-030-93100-1_5MaRDI QIDQ2151396zbMATH OpenOpenAlexFDO

Authors David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten

Publication date 1 July 2022

Full work available at URL https://arxiv.org/abs/2112.07473

zbMATH Keywords

ordinal analysisindependence resultsprovability logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Arithmetical and Hyperarithmetical Worm Battles
• The worm principle
• Well-orders in the transfinite Japaridze algebra
• The omega-rule interpretation of transfinite provability logic
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

Cites work

• scientific article; zbMATH DE number 5057388 (Why is no real title available?)
• Axiomatic theories of truth
• Induction rules, reflection principles, and provably recursive functions
• Models of transfinite provability logic
• MÜNCHHAUSEN PROVABILITY
• On provability logics with linearly ordered modalities
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Provability algebras and proof-theoretic ordinals. I
• Reflection algebras and conservation results for theories of iterated truth
• Reflection principles and provability algebras in formal arithmetic
• The omega-rule interpretation of transfinite provability logic
• The optimality of induction as an axiomatization of arithmetic
• The polytopologies of transfinite provability logic
• Truth, disjunction, and induction
• Turing-Taylor expansions for arithmetic theories
• Well-orders in the transfinite Japaridze algebra

Cited in

(2)

• The Worm Calculus
• The Hydra Battle Revisited

This page was built for publication: Hyperarithmetical worm battles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2151396)