Equations for formally real meadows
| Authors | |
|---|---|
| Publication date | 06-2015 |
| Journal | Journal of Applied Logic |
| Volume | Issue number | 13 | 2, pt. B |
| Pages (from-to) | 1-23 |
| Number of pages | 23 |
| Organisations |
|
| Abstract | We consider the signatures Σm = (0,1,−,+,⋅,−1) of meadows and (Σm,s) of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an ordering. We apply these completeness results in order to obtain complete axiomatizations of the complex numbers. |
| Document type | Article |
| Language | English |
| Related publication | Equations for formally real meadows Equations for formally real meadows |
| Published at | https://doi.org/10.1016/j.jal.2015.01.004 |
| Published at | https://arxiv.org/abs/1310.5011 |
| Other links | https://www.scopus.com/pages/publications/84925220605 |
| Downloads |
1310.5011.pd
(Accepted author manuscript)
|
| Permalink to this page | |
