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: |
|
|---|---|
| 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: |
Download not available
A full text copy of this item is not currently available from White Rose Research Online
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)