|Abstract||We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consider methods of establishing such assertions using only restricted forms of distributivity. At the same time, we explore ways in which “local'’ decision or heuristic procedures for fragments of the theory of the reals can be amalgamated into global ones. Let $Tadd[QQ]$ be the first-order theory of the real numbers in the language with symbols $0, 1, +, -.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Janusz Pawlikowski (2001). Cohen Reals From Small Forcings. Journal of Symbolic Logic 66 (1):318-324.
E. Goldberg & K. Podell (1999). Adaptive Versus Veridical Decision Making and the Frontal Lobes. Consciousness and Cognition 8 (3):364-377.
Johanna N. Y. Franklin (2010). Subclasses of the Weakly Random Reals. Notre Dame Journal of Formal Logic 51 (4):417-426.
John K. Davis (2007). Intuition and the Junctures of Judgment in Decision Procedures for Clinical Ethics. Theoretical Medicine and Bioethics 28 (1):1-30.
Rodney G. Downey & Evan J. Griffiths (2004). Schnorr Randomness. Journal of Symbolic Logic 69 (2):533 - 554.
Jeremy Avigad & Yimu Yin, Quantifier Elimination for the Reals with a Predicate for the Powers of Two.
Alexander Raichev (2005). Relative Randomness and Real Closed Fields. Journal of Symbolic Logic 70 (1):319 - 330.
Added to index2009-01-28
Total downloads7 ( #133,587 of 549,196 )
Recent downloads (6 months)6 ( #12,444 of 549,196 )
How can I increase my downloads?