๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A note on the schemes of replacement and collection

โœ Scribed by A. R. D. Mathias


Publisher
Springer
Year
2006
Tongue
English
Weight
144 KB
Volume
46
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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

A note on parallel machine replacement
โœ Jen Tang; Kwei Tang ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 245 KB ๐Ÿ‘ 1 views
A further note on parallel machine repla
โœ Wallace J. Hopp; Philip C. Jones; James L. Zydiak ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 176 KB ๐Ÿ‘ 1 views