Long Sequences of Descending Theories and Other Misellanea on Slow Consistency

Rathjen, M (2017) Long Sequences of Descending Theories and Other Misellanea on Slow Consistency. IfCoLoG Journal of Logics and their Applications, 4 (4). pp. 1411-1426. ISSN 2055-3706

Metadata

Authors/Creators:
  • Rathjen, M
Keywords: Peano Arithmetic; Bachmann-Howard Ordinal; Consistency Strength; Interpretation; Fast Growing Function; Slow Consistency; Slow Provability Interpretations
Dates:
  • Published: November 2017
  • Accepted: 8 July 2016
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 07 Jan 2020 10:53
Last Modified: 07 Jan 2020 10:53
Published Version: http://www.collegepublications.co.uk/ifcolog/?0001...
Status: Published
Publisher: College Publications
Related URLs:

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export