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
Item Type: | Article |
---|---|
Authors/Creators: |
|
Keywords: | Peano Arithmetic; Bachmann-Howard Ordinal; Consistency Strength; Interpretation; Fast Growing Function; Slow Consistency; Slow Provability Interpretations |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & 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: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:155303 |
Download not available
A full text copy of this item is not currently available from White Rose Research Online