Well-orders in the transfinite Japaridze algebra

DOI10.1093/JIGPAL/JZU018zbMath1405.03095DBLPjournals/igpl/DuqueJ14arXiv1212.3468OpenAlexW2963825272WikidataQ58883287 ScholiaQ58883287MaRDI QIDQ4644499

Joost J. Joosten, David Fernández-Duque

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

ordinal notationsprovability logicsJaparidze algebrareflection calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (10)

Reflection algebras and conservation results for theories of iterated truth ⋮ Hyperarithmetical worm battles ⋮ Hyperations, Veblen progressions and transfinite iteration of ordinal functions ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ On provability logics with linearly ordered modalities ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ Turing-Taylor expansions for arithmetic theories ⋮ MÜNCHHAUSEN PROVABILITY

This page was built for publication: Well-orders in the transfinite Japaridze algebra