✦ LIBER ✦

On the Recursivity of Finite Sets

✍ Scribed by Ronald Harrop

Publisher: John Wiley and Sons
Year: 1961
Tongue: English
Weight: 346 KB
Volume: 7
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19610070708

No coin nor oath required. For personal study only.

✦ Synopsis

ON THE mcuitsrvm-OF FINITE SISTS by ROSALD ITARRW in Newcastle upon Tync (England) $j 1 lritrodiiclion In this paprr n n nsgcct, is discussed of tlic relationship between rccursivity aiid intuitive dccitlalilit~~ hi the case of fiiiitc sets, which, altliougli rcfcrred to elsewhere in the literatuw (see, for exainplc, [3]; [4] p. 201 ; [5] pp. 11, 52)) docs not seem to have been fully brought into the open. After proving tmhc main resultj, its relcvatice to ot.hcr results aiid to tlic converse of CHURCII'S thesis is notcd. $j 2 Considcratioii. of Finilo Srts Considcr reciirsive (cowpiitable) fzLiictioiis and partiat recursioe (computable partid) ~Z L ~L C ~~O ? L S a.s defined by TURING niacliines using dcfinitions such as those employctl in [l] or [2]. We insist that tlic sgiiibols wliich thc inacliincs can print sliall be takcti

📜 SIMILAR VOLUMES

Ideals of Generalized Finite Sets in Lat

Ideals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets

✍ Manuel Lerman 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 444 KB

Integration on finite sets

✍ Zhenyuan Wang; Kwong-Sak Leung; George J. Klir 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

Various types of integrals with respect to signed fuzzy measures on finite sets with cardinality n can be presented as corresponding rules for partitioning the integrand. The partition can be expressed as an n-dimensional vector, whereas the signed fuzzy measure is also an n-dimensional vector. Thus

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.

On the Representation of Sets in Finite

On the Representation of Sets in Finite Measure Spaces

✍ Kali P. Rath 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 109 KB

The Structure of the Lattice of Recursiv

The Structure of the Lattice of Recursive Sets

✍ Bernhard G. Goetze 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 281 KB 👁 1 views

On topological properties of ultraproduc

On topological properties of ultraproducts of finite sets

✍ Gábor Sági; Saharon Shelah 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 100 KB 👁 1 views

In [3] a certain family of topological spaces was introduced on ultraproducts. These spaces have been called ultratopologies and their definition was motivated by model theory of higher order logics. Ultratopologies provide a natural extra topological structure for ultraproducts. Using this extra st