A note on the theory SID<ω of stratified induction
From MaRDI portal
Publication:2933746
DOI10.1002/malq.201300063zbMath1354.03092MaRDI QIDQ2933746
Publication date: 5 December 2014
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201300063
03F05: Cut-elimination and normal-form theorems
03F35: Second- and higher-order arithmetic and fragments
03F15: Recursive ordinals and ordinal notations
03D70: Inductive definability
Related Items
Cites Work