Combining decision procedures for the reals
| 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) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJanusz 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.
Alexander Raichev (2005). Relative Randomness and Real Closed Fields. Journal of Symbolic Logic 70 (1):319 - 330.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,587 of 549,196 )Recent downloads (6 months)6 ( #12,444 of 549,196 )How can I increase my downloads? |
My notes
Discussion
