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

On the(epsilon)-constants of arithmetic schemes

โœ Scribed by T. Chinburg; B. Erez; G. Pappas; M.J. Taylor


Publisher
Springer
Year
1998
Tongue
English
Weight
213 KB
Volume
311
Category
Article
ISSN
0025-5831

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

On the shepherding of Uranian epsilon ri
โœ Jilin Zhou; Yisui Sun; Bambi Hu ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› SP Science China Press ๐ŸŒ English โš– 422 KB