Autonomous progression and transfinite iteration of self-applicable truth

Research output: Contribution to journalArticle (Academic Journal)peer-review

13 Citations (Scopus)

Abstract

This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.
Original languageEnglish
Pages (from-to)914-945
Number of pages32
JournalJournal of Symbolic Logic
Volume76
Issue number3
DOIs
Publication statusPublished - 2011

Fingerprint

Dive into the research topics of 'Autonomous progression and transfinite iteration of self-applicable truth'. Together they form a unique fingerprint.

Cite this