𝔖 Bobbio Scriptorium
✦   LIBER   ✦

UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURES

✍ Scribed by Maurizio Negri

Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
853 KB
Volume
38
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 structures, i.e. π’œΒΊ can be homomorphically embedded in every total structure that preserves universal functions of π’œ*. Universal functions are the starting point for developing recursion theoretic tools in an π’œ* that satisfies some simple additional conditions.

πŸ“œ SIMILAR VOLUMES

A characterisation of universal minimal
A characterisation of universal minimal total dominating functions in trees
✍ E.J. Cockayne; C.M. Mynhardt πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 445 KB

A total dominating function (TDF) of a graph G = (V, E) is a function f: V~ [0, 1] such that for each v~ V, ~u~Ntv)f(u)>~ 1, where N(v) denotes the set of neighbours of v. Although convex combinations of TDFs are also TDFs, convex combinations of minimal TDFs (MTDFs) are not necessarily minimal. An