𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the iterated suspension

✍ Scribed by Brayton Gray


Book ID
103426184
Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
543 KB
Volume
27
Category
Article
ISSN
0040-9383

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Iterated suspensions
✍ I. Berstein; T. Ganea πŸ“‚ Article πŸ“… 1970 πŸ› European Mathematical Society 🌐 English βš– 424 KB
On the Iterated Biclique Operator
✍ Marina Groshaus; Leandro P. Montero πŸ“‚ Article πŸ“… 2012 πŸ› John Wiley and Sons 🌐 English βš– 605 KB
On the iterated complex transfer
✍ A. Baker; D. Carlisle; B. Gray; S. Hilditch; N. Ray; R. Wood πŸ“‚ Article πŸ“… 1988 πŸ› Springer-Verlag 🌐 French βš– 631 KB
ON THE ITERATED Ο‰-RULE
✍ Grzegorz Michalski πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 235 KB

## Abstract Let Ξ“~__n__~(Ο†) be a formula of L~PA~ (PA = Peano Arithmetic) meaning β€œthere is a proof of Ο† from PA‐axioms, in which ω‐rule is iterated no more than __n__ times”. We examine relations over pairs of natural numbers of the kind. (__n__, __k__) ≦~__H__~ (__n', k__') iff PA + RFN~__n__'~

On the complexity of iterated shuffle
✍ Manfred K. Warmuth; David Haussler πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 950 KB
On iterated hairpin completion
✍ Steffen Kopecki πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 275 KB