𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functions definable in Sugihara algebras and their fragments (I)

✍ Scribed by Marek Tokarz

Publisher
Springer Netherlands
Year
1975
Tongue
English
Weight
408 KB
Volume
34
Category
Article
ISSN
0039-3215

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