✦ LIBER ✦

Counting problems over the reals

✍ Scribed by Klaus Meer

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 152 KB
Volume: 242
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00190-x

No coin nor oath required. For personal study only.

✦ Synopsis

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 means. The main emphasis of our results is model-theoretic.

📜 SIMILAR VOLUMES

Quantifying over the reals

✍ Philip Hugly; Charles Sayward 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 743 KB

Star free expressions over the reals

✍ Alexander Rabinovich 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 116 KB

An interpretation of star free expressions over the reals is provided. The expressive power of star free expressions is compared to the expressive power of monadic ÿrst-order logic of order over the reals. It is proved that these formalisms have the same expressive power. This result provides a gene

Machines Over the Reals and Non-Uniformi

Machines Over the Reals and Non-Uniformity

✍ Felipe Cucker 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 908 KB

## Abstract We survey the research performed in the last few years on a specific topic: the power of real machines over binary inputs. This research attempts to characterize the classes of decision problems over a finite alphabet ‐ say {0,1} ‐ which can be decided by real machines working under sev

Computing over the reals with addition a

Computing over the reals with addition and order

✍ P. Koiran 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 881 KB

Pixley-Roy spaces over subsets of the re

Pixley-Roy spaces over subsets of the reals

✍ Peg Daniels 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Analog computers and recursive functions

Analog computers and recursive functions over the reals

✍ Daniel Silva Graça; José Félix Costa 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 235 KB

In this paper we show that Shannon's general purpose analog computer (GPAC) is equivalent to a particular class of recursive functions over the reals with the flavour of Kleene's classical recursive function theory. We first consider the GPAC and several of its extensions to show that all these mod