Title of article :
Partial collapses of the complexity hierarchy in models for fragments of bounded arithmetic
Author/Authors :
Adamowicz، نويسنده , , Zofia and Ko?odziejczyk، نويسنده , , Leszek Aleksander، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Abstract :
For any n , we construct a model of T 2 n + ¬ exp in which each ∃ s Π n + 1 b formula is equivalent to an ∃ Π n b formula.
Keywords :
Hierarchy collapses , Maximal models , Consistency statements , bounded arithmetic
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
