Turing progressions and their well-orders

DOI10.1007/978-3-642-30870-3_21MaRDI QIDQ2904409zbMATH OpenOpenAlexWikidataFDO

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

Publication date 14 August 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30870-3_21

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• The logic of Turing progressions
• On provability logics with linearly ordered modalities
• Turing-Taylor expansions for arithmetic theories
• Provability logics for natural Turing progressions of arithmetical theories
• Iterated local reflection versus iterated consistency

Cited in

(7)

• The logic of Turing progressions
• Turing Computations On Ordinals
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• On provability logics with linearly ordered modalities
• Turing-Taylor expansions for arithmetic theories
• Relational semantics for the Turing Schmerl calculus
• Topological interpretations of provability logic

This page was built for publication: Turing progressions and their well-orders

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