Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. 

Kentaro Fujimoto

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

Abstract

Pohlers's ordinal analysis in his monograph [12] contains some flaws and thereby ends up with incorrect proof-theoretic ordinals of several systems. The present paper determines their correct proof-theoretic ordinals and also supplements [12] with the ordinal analysis of some other relevant impredicative systems.
Original languageEnglish
Pages (from-to)409-463
Number of pages55
JournalAnnals of Pure and Applied Logic
Volume166
Issue number4
Early online date16 Dec 2014
Publication statusPublished - 2015

Fingerprint Dive into the research topics of '<sup>Notes on some second-order systems of iterated inductive definitions and Π<sub>1</sub><sup>1</sup>-comprehensions and relevant subsystems of set theory. </sup>'. Together they form a unique fingerprint.

Cite this