arXiv Analytics

Sign in

arXiv:1007.0844 [math.LO]AbstractReferencesReviewsResources

Proof theory for theories of ordinals III: $Π_{N}$-reflection

Toshiyasu Arai

Published 2010-07-06Version 1

This paper deals with a proof theory for a theory of $\Pi_{N}$-reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory for $\Pi_{3}$-reflection is analysed proof-theoretically.

Categories: math.LO
Subjects: 03F35
Related articles: Most relevant | Search more
arXiv:1906.11762 [math.LO] (Published 2019-06-27)
$F_σ$ Games and Reflection in $L(\mathbb{R})$
arXiv:2209.08976 [math.LO] (Published 2022-09-19)
Proof Theory for Lax Logic
arXiv:1104.1842 [math.LO] (Published 2011-04-11)
Introducing the hardline in proof theory

Links

Toolbox