𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Typability in Partial Applicative Structures

✍ Scribed by Inge Bethke; Piet Rodenburg

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
133 KB
Volume
20
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURE
UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURES
✍ Maurizio Negri πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 853 KB

## Abstract In this work we show that every structure π’œ can be expanded to a partial structure π’œ\* with universal functions for the class of polynomials on π’œ\*. We can embed π’œ\* monomorphically in a total structure π’œΒΊ that preserves universal functions of π’œ\* and that is universal among such struct

Computability and continuity in metric p
Computability and continuity in metric partial algebras equipped with computability structures
✍ Fredrik Dahlgren πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 251 KB

## Abstract In this paper we give an axiomatisation of the concept of a computability structure with partial sequences on a many‐sorted metric partial algebra, thus extending the axiomatisation given by Pour‐El and Richards in [9] for Banach spaces. We show that every Banach‐Mazur computable partia