Title of article
Bar induction and ω model reflection Original Research Article
Author/Authors
Gerhard J?ger، نويسنده , , Thomas Strahm، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
10
From page
221
To page
230
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
Serial Year
1999
Journal title
Annals of Pure and Applied Logic
Record number
896189
Link To Document