𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A weak version of ◊ which follows from 2ℵ0

✍ Scribed by Keith J. Devlin; Saharon Shelah


Book ID
112886158
Publisher
The Hebrew University Magnes Press
Year
1978
Tongue
English
Weight
368 KB
Volume
29
Category
Article
ISSN
0021-2172

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A Weak Version of the Blum, Shub, and Sm
✍ Pascal Koiran 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 646 KB

We propose a weak version of the Blum Shub Smale model of computation over the real numbers. In this weak model only a ``moderate'' usage of multiplications and divisions is allowed. The class of boolean languages recognizable in polynomial time is shown to be the complexity class PÂpoly. The main t