𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Totally positive functions and totally bounded functions on [−1, 1]

✍ Scribed by Alan L Horwitz; Lee A Rubel

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
573 KB
Volume
52
Category
Article
ISSN
0021-9045

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Σ1-definable Functions Provably Total
On Σ1-definable Functions Provably Total in I ∏
✍ Teresa Bigorajska 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

We prove the following theorem: Let cp(z) be a formula in the language of the theory PAof discretely ordered commutative rings with unit of the form 3 y p ' ( z , y ) with 'p' E Ao and let f, : N -+ R be such that f,(z) = y iff cp'(z, y) & (Vz < y) ~( p ' ( z , 2 ) . If ITIF I -(Vz 2 0) cp(z), then