𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Davidson, McFetridge, and the counting problem

✍ Scribed by Richard Holton


Book ID
114675260
Publisher
Oxford University Press
Year
1996
Tongue
English
Weight
266 KB
Volume
56
Category
Article
ISSN
0003-2638

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The problem of isolating and counting
✍ N. P. Khomenko; E. N. Shevchenko πŸ“‚ Article πŸ“… 1978 πŸ› Springer 🌐 English βš– 667 KB
Counting problems over the reals
✍ Klaus Meer πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 152 KB

In this paper we introduce a notion of counting problems over the real numbers. We follow the approaches of Blum et al. (1998) for computability over R and of Gr adel and Meer (1996) for descriptive complexity theory in this setting and give a complete characterization of such problems by logical me