𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the Joint Embedding Property in Fragments of Arithmetic

✍ Scribed by Otero, M.

Book ID
120091934
Publisher
Oxford University Press
Year
1992
Tongue
English
Weight
148 KB
Volume
24
Category
Article
ISSN
0024-6093

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the embedding property
A note on the embedding property
✍ Gabriel Sabbagh πŸ“‚ Article πŸ“… 1971 πŸ› Springer-Verlag 🌐 French βš– 216 KB
A comment on the joint embedding propert
A comment on the joint embedding property
✍ Aleksander IgnjatoviΔ‡; Milan Z. GruloviΔ‡ πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 307 KB
A note on the Ξ£1 collection scheme and f
A note on the Ξ£1 collection scheme and fragments of bounded arithmetic
✍ 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