✦ LIBER ✦

On the Recursivity of Finite Setsby Ronald Harrop

✍ Scribed by Review by: Charles Parsons

Book ID: 124959020
Publisher: Association for Symbolic Logic
Year: 1968
Tongue: English
Weight: 217 KB
Volume: 33
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Recursivity of Finite Sets

✍ Ronald Harrop 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 346 KB 👁 1 views

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 (

The Finite Model Property and Subsystems

The Finite Model Property and Subsystems of Classical Propositional Calculusby Ronald Harrop

✍ Review by: H. Arnold Schmidt 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

Simplicity of Recursively Enumerable Set

Simplicity of Recursively Enumerable Setsby Robert W. Robinson;Two Theorems on hyperhypersimple Setsby Robert W. Robinson;On the Lattice of Recursively Enumerable Setsby A. H. Lachlan;The Elementary Theory of Recursively Enumerable Setsby A. H. Lachlan

✍ Review by: James C. Owings, Jr 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 448 KB

No Recursively Enumerable Set is the Uni

No Recursively Enumerable Set is the Union of Finitely Many Immune Retraceable Setsby K. I. Appel

✍ Review by: C. E. M. Yates 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 209 KB

On Separability of Recursively Enumerabl

On Separability of Recursively Enumerable Setsby A. A. Mućnik

✍ Review by: Andrzej Mostowski 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 197 KB

Three Theorems on the Degrees of Recursi

Three Theorems on the Degrees of Recursively Enumerable Setsby C. E. M. Yates

✍ Review by: Hartley Rogers, Jr. 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 348 KB