Title of article :
Bar induction and ω model reflection
Original Research Article
Author/Authors :
Gerhard J?ger، نويسنده , , Thomas Strahm، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Abstract :
We show that the principle of ω model reflection for Π1n − 1 formulas is equivalent over ACA0 to the scheme of Π1n bar induction. This extends and refines previous results of Friedman and Simpson.
Keywords :
Bar induction , Schütte deduction chains , ? model reflection , Completeness of ? logic
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
