Induction and inductive definitions in fragments of second order arithmetic
From MaRDI portal
Publication:5486242
DOI10.2178/jsl/1129642116zbMath1118.03054OpenAlexW2033508078MaRDI 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 pointsproof theorysecond-order arithmetic\(\Omega\)-ruleminimal logicprovably recursive functionsInductive definitions
Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Related Items (3)
A Buchholz rule for modal fixed point logics ⋮ Parameter-free polymorphic types ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
Cites Work
This page was built for publication: Induction and inductive definitions in fragments of second order arithmetic