𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Converse to a Metatheorem in Gödel Set Theory

✍ Scribed by Richard A. Platek

Publisher
John Wiley and Sons
Year
1971
Tongue
English
Weight
118 KB
Volume
17
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The use of fuzzy set theory in informati
The use of fuzzy set theory in information retrieval and databases: A survey
✍ Kerre, Etienne E. ;Zenner, Rembrand B. R. C. ;De Caluwe, Rita M. M. 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 610 KB

Due to a rapid expansion of most domains in recent times, there is a constant growing need for information. Together with this phenomenon, there has been an explosive growth of the amount of data needed and the corresponding means of data storage. In order to handle these large amounts of data and t

A correction to the algorithm in reiter'
A correction to the algorithm in reiter's theory of diagnosis
✍ Russell Greiner; Barbara A. Smith; Ralph W. Wilkerson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 453 KB

Reiter [3] has developed a general theory of diagnosis based on first principles. His algorithm computes all diagnoses which explain the differences between the predicted and observed behavior of a given system. Unfortunately, Reiter's description of the algorithm is incorrect in that some diagnoses