Advertisement

Turing Progressions and Their Well-Orders

  • David Fernández Duque
  • Joost J. Joosten
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7318)

Abstract

We see how Turing progressions are closely related to the closed fragment of GLP, polymodal provability logic. Next we study natural well-orders in GLP that characterize certain aspects of these Turing progressions.

Keywords

Modal Logic Modal Formula Normal Modal Logic Provability Logic Provability Predicate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Annals of Pure and Applied Logic 128, 103–124 (2004)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Beklemishev, L.D.: Veblen hierarchy in the context of provability algebras. In: Proceedings of the Twelfth International Congress on Logic, Methodology and Philosophy of Science. Kings College Publications (2005)Google Scholar
  3. 3.
    Beklemishev, L.D.: Reflection principles and provability algebras in formal arithmetic. Russian Mathematical Surveys 60(2), 197–268 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Beklemishev, L.D., Fernández Duque, D., Joosten, J.J.: On transfinite provability logic (under preparation, 2012)Google Scholar
  5. 5.
    Solovay, R.M.: Provability interpretations of modal logic. Israel Journal of Mathematics 28, 33–71 (1976)MathSciNetGoogle Scholar
  6. 6.
    Turing, A.M.: Systems of logics based on ordinals. Proc. London Math. Soc. Series 2 45, 161–228 (1939)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • David Fernández Duque
    • 1
  • Joost J. Joosten
    • 2
  1. 1.Departamento de Filosofía y Lógica y Filosofía de la CienciaUniversidad de SevillaSevillaSpain
  2. 2.Departamento de Lógica, História i Filosofia de la CiénciaUniversitat de BarcelonaBarcelonaSpain

Personalised recommendations