A note on the ฮฃ1 collection scheme and f
โ
Zofia Adamowicz; Leszek Aleksander Koลodziejczyk
๐
Article
๐
2010
๐
John Wiley and Sons
๐
English
โ 115 KB
Bounded arithmetic, collection principle, weak pigeonhole principle. ## MSC (2000) 03F30 We show that for each n โฅ 1, if T n 2 does not prove the weak pigeonhole principle for ฮฃ b n functions, then the collection scheme Bฮฃ1 is not finitely axiomatizable over T n 2 . The same result holds with S n