𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Recursively Enumerable Images of Arithmetic Sets

✍ Scribed by Richard Rosenberg


Publisher
John Wiley and Sons
Year
1982
Tongue
English
Weight
656 KB
Volume
28
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Recursively Enumerable L-Sets
✍ Loredana Biacino; Giangiacomo Gerla πŸ“‚ Article πŸ“… 1987 πŸ› John Wiley and Sons 🌐 English βš– 405 KB
Complete, Recursively Enumerable Relatio
✍ Giovanna D'Agostino; Mario Magnago πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 489 KB

## Abstract Using only propositional connectives and the provability predicate of a Ξ£~1~‐sound theory __T__ containing Peano Arithmetic we define recursively enumerable relations that are complete for specific natural classes of relations, as the class of all r. e. relations, and the class of all s

On a Class of Recursively Enumerable Set
✍ Farzad Didehvar πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 225 KB πŸ‘ 1 views

## Abstract We define a class of so‐called βˆ‘(__n__)‐sets as a natural closure of recursively enumerable sets __W__~n~ under the relation β€œβˆˆβ€ and study its properties.