Some theorems on passing from local to global presence of properties of functions release_nly7woeu5ncxrgcj2mphhrzmbi

by Dimiter Skordev (Sofia University, Faculty of Mathematics and Informatics, Sofia, Bulgaria)

Released as a article .

2016  

Abstract

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to all of them belong to this class. The collections with the formulated property are said to be strongly join permitting for the given class (the notion of join permitting collection is defined in the same way, but without the words "a subset of"). Three theorems concerning certain instances of the problem are proved. A necessary and sufficient condition for being strongly join permitting is given for the case when, for some n, the class consists of the potentially partial recursive functions of n variables, and the collection consists of sets of n-tuples of natural numbers. The second theorem gives a sufficient condition for the case when the class consists of the continuous partial functions between two given topological spaces, and the collection consists of subsets of the first of them (the condition is also necessary under a weak assumption on the second one). The third theorem is of a similar character but, instead of continuity, it concerns computability in the spirit of the one in effective topological spaces.
In text/plain format

Archived Files and Locations

application/pdf  173.5 kB
file_owvwjmefhvb5tkp4i5ejktugvi
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2016-09-16
Version   v2
Language   en ?
arXiv  1609.04254v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e4b32881-c01b-4ee5-8487-ef797e7bdf40
API URL: JSON