Abstract | ||
---|---|---|
$\mathbb{Q}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0$. In this note, we prove that $\mathbb{Q}_0$ cannot be specified by the usual axioms for meadows augmented by a finite set of axioms of the form $(1+ \cdots +1+x^2)\cdot (1+ \cdots +1 +x^2)^{-1}=1$. |
Year | Venue | Field |
---|---|---|
2015 | CoRR | Discrete mathematics,Rational number,Multiplicative inverse,Finite set,Algebraic number,Algebra,Of the form,Axiom,Mathematics |
DocType | Volume | Citations |
Journal | abs/1507.00548 | 1 |
PageRank | References | Authors |
0.43 | 2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1445 | 140.42 |
Inge Bethke | 2 | 187 | 18.29 |