Loading...
Please wait, while we are loading the content...
Similar Documents
The Theory of a Real Closed Field and its Algebraic Closure
| Content Provider | Semantic Scholar |
|---|---|
| Author | Meyden, Ron Van Der |
| Copyright Year | 2008 |
| Abstract | A first order theory RC of a real closed field and its algebraic closure is presented. The non-logical axioms combine the axioms of the theories of real closed fields and the algebraically closed fields, but distinguish the real closed field as a subfield by means of a monadic predicate and a constant for a square root of -1. The resulting theory has several desirable properties: decidability, completeness, modelcompleteness and quantifier elimination. A decision procedure is presented for the problem of satisfiability of a formula, and its complexity is analysed. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cse.unsw.edu.au/~meyden/research/rc.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |