Partial recursive functions and ω-functions-Reference-Cited by-同舟云学术

Partial recursive functions and ω-functions

Published:1970-12 Issue:4 Volume:35 Page:559-568
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Applebaum C. H.,Dekker J. C. E.

Abstract

Let ε stand for the set of all numbers (i.e., nonnegative integers), V for the class of all sets (i.e., subcollections of ε) and for the family of all functions (i.e., mappings from a subset of ε into ε). If ƒ is a function, we write δƒ and ρƒ for its domain and range respectively. The relation of inclusion is denoted by ⊂ and that of proper inclusion by ⊆.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference5 articles.

1. The category of recursive functions;Gonshor;Notices of the American Mathematical Society,1968

2. Infinite series of isols

3. Applebaum C. H. , Decompositions and homomorphisms of ω-groups, Doctoral thesis, Rutgers University, 1969.

4. Recursive equivalence types;Dekker;University of California Publications in Mathematics,1960

5. Good choice sets;Dekker;Annali della Scuola Normale Superiore di Pisa,1966

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Bird’s-Eye View of Twilight Combinatorics;Logical Methods;1993

2. The Work of Anil Nerode: A Retrospective;Logical Methods;1993

3. Isols and Kneser Graphs;Feasible Mathematics;1990

4. An introduction to ω-extensions of ω-groups;Journal of Symbolic Logic;1982-03

5. Projective Planes of Infinite But Isolic Order;The Journal of Symbolic Logic;1976-06