Equations for formally real meadows
| Authors | |
|---|---|
| Publication date | 18-10-2013 |
| Number of pages | 17 |
| Publisher | Ithaca, NY: ArXiv |
| Organisations |
|
| Abstract | We consider the signatures Sm=(0,1,-,+,., -1) of meadows and (Sm,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. |
| Document type | Working paper |
| Note | 3 later versions also available on arXiv.org |
| Language | English |
| Related publication | Equations for formally real meadows |
| Published at | https://arxiv.org/abs/1310.5011v1 |
| Downloads |
1310.5011v2
(Other version)
|
| Permalink to this page | |
