DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
نویسندگان
چکیده
منابع مشابه
Extended Primitive Recursive Functions
— In this paper we extend the notion of primitive recursive function to the case in which the domain is N* and the range is a subset oj N*. We give a rigorvus characterization oj tins class oj functions and show différences icith the classical primitive recursive functions. Résumé. — Dans cette note nous étendons la notion de f onction primitive recursive à tous les cas dans lesquels le domaine...
متن کاملPrimitive Recursive Functions
1. Definition of recursive functions. In this paper, we shall consider certain reductions in the recursion scheme for defining primitive recursive functions. Hereafter, we shall refer to such functions simply as recursive functions. In §1, we define what is meant by a recursive function, and also define some recursive functions which will be used. The statement of the principal results of the p...
متن کاملUnary Primitive Recursive Functions
In this article, we will study certain reductions in the schemes that conform unary primitive recursive functions (i.e. primitive recursive functions of one argument) and we will extend some results previously researched by R. M. Robinson in [15]. Furthermore, we will introduce formal notation for unary primitive recursive functions. §
متن کاملDominions in product varieties
Dominions, in the sense of Isbell, are investigatedin the contextof decomposable varieties of groups. An upper and lower bound for dominions in such a variety is given in terms of the two varietal factors, and the internal structure of the group being analyzed. Finally, the following result is established: If a variety N has instances of nontrivial dominions, then for any proper subvariety Q of...
متن کاملThe Representations and Positive Type Functions of Some Homogenous Spaces
‎For a homogeneous spaces ‎$‎G/H‎$‎, we show that the convolution on $L^1(G/H)$ is the same as convolution on $L^1(K)$, where $G$ is semidirect product of a closed subgroup $H$ and a normal subgroup $K $ of ‎$‎G‎$‎. ‎Also we prove that there exists a one to one correspondence between nondegenerat $ast$-representations of $L^1(G/H)$ and representations of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2018
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2017.18