A note on the theory SID<ω of stratified induction. - Florian Ranzi; Thomas Strahm (Math. Log. Q., 2014)

A flexible type system for the small Veblen ordinal. - Florian Ranzi; Thomas Strahm (Arch. Math. Log., 2019)