Turing Progressions and Their Well-Orders

DOI10.1007/978-3-642-30870-3_21zbMath1358.03093OpenAlexW2270220526WikidataQ58883308 ScholiaQ58883308MaRDI QIDQ2904409

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)

Related Items (3)

Hyperations, Veblen progressions and transfinite iteration of ordinal functions ⋮ On provability logics with linearly ordered modalities ⋮ Topological Interpretations of Provability Logic

This page was built for publication: Turing Progressions and Their Well-Orders