𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Placing text on a collection of curves in a bounded region

✍ Scribed by V. V. Brovarnik


Publisher
Springer US
Year
1991
Tongue
English
Weight
637 KB
Volume
27
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A note on effective ultrapowers: Uniform
✍ Thomas McLaughlin πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 302 KB

## Abstract By suitably adapting an argument of Hirschfeld (see [2, Chapter 9]), we show that there is a single Ξ”~1~ formula that defeats β€œbounded collection” for any model of II~2~ Arithmetic that is either a recursive ultrapower or an existentially complete model. Some related facts are noted. MS

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