A generic basis theorem for cancellation meadows

Open Access
Authors
Publication date 2008
Number of pages 16
Publisher Ithaca, NY: ArXiv
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract Let Q_0 denote the rational numbers expanded to a "meadow'', that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows'', i.e., meadows without proper zero divisors, such as $Q_0$. We prove a representation result and a generic completeness result. We apply these results to cancellation meadows extended with the sign function, and with floor and ceiling, respectively.
Document type Report
Published at http://arxiv.org/abs/0803.3969
Downloads
Pre-review manuscript (Submitted manuscript)
Permalink to this page
Back