## Abstract In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in Ο are equal in β and if two exponential polynomials in Ο and __i__ coincide in β. (Β© 2007 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
A note on the decidability of de Finetti's coherence
β Scribed by Francesco Corielli
- Publisher
- Springer US
- Year
- 1995
- Tongue
- English
- Weight
- 561 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0040-5833
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We apply automata-theoretic tools and some recently established compactness properties in the study of F-semigroups, that is, subsemigroups of free semigroups. With each F-semigroup we associate an F-presentation, which turns out to be finite for all finitely generated F-semigroups. Connections bet
In Bandelt and Dress AdΒ¨. in Math. 92 1992 , 47α105 the concept of a coherent decomposition of a finite metric is introduced and it is conjectured that every such metric can be decomposed into a coherent sum of prime metrics in a unique way. In this note we give a counterexample to this conjecture.
This paper presents the historical and philosophical definition of subjective probabilities (also called degree of belief or Bayesian probabilities). It presents a case for the scientist to use subjective probabilities in the process of parameter estimation and evidence evaluation under the Bayesian