𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES

✍ Scribed by R. G. Downey

Publisher
John Wiley and Sons
Year
1984
Tongue
English
Weight
334 KB
Volume
30
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On a Class of Recursively Enumerable Set
On a Class of Recursively Enumerable Sets
✍ 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.

A Note on lattices of euclidean subspace
A Note on lattices of euclidean subspaces
✍ Ton Geerts πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 256 KB

Any nonvoid lattice of subspaces from R" is known to be a complete lattice, and hence it has a largest and smallest element. Here we show that for a specific class of subspaces also the converse is true. If this class has a largest and a smallest element, then it is a complete lattice. Within the co

A Note on Real Subsets of A Recursively
A Note on Real Subsets of A Recursively Saturated Model
✍ Athanassios Tzouvaras πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 458 KB

## A NOTE ON REAL SUBSETS OF A RECURSIVELY SATURATED MODEL by ATHANASSIOS TZOWARAS in Thessaloniki (Greece) 9 0. Introduction Let L = [+, ., I , <, 0} be the language of Peano Arithmetic (PA) and let M be a countable recursively saturated model of PA. For every a E M let -a be the equivalence x -a