Induction and inductive definitions in fragments of second order arithmetic
From MaRDI portal
Publication:5486242
DOI10.2178/jsl/1129642116zbMath1118.03054MaRDI QIDQ5486242
Publication date: 6 September 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.4115
fixed points; proof theory; second-order arithmetic; \(\Omega\)-rule; minimal logic; provably recursive functions; Inductive definitions
03F35: Second- and higher-order arithmetic and fragments
03F55: Intuitionistic mathematics
03F25: Relative consistency and interpretations
Related Items
Cites Work