Square root meadows

Open Access
Authors
Publication date 2009
Number of pages 9
Publisher Ithaca, NY: ArXiv
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract Let Q_0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0^{-1}=0. Q_0 can be expanded by a total sign function s that extracts the sign of a rational number. In this paper we discuss an extension Q_0(s ,\sqrt) of the signed rationals in which every number has a unique square root.
Document type Report
Published at http://arxiv.org/abs/0901.4664
Downloads
319474.pdf (Submitted manuscript)
Permalink to this page
Back