Flexible involutive meadows
Logic
2023-09-06 v1 Commutative Algebra
Abstract
We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an idempotent neutrix. We end up with an algebraic structure that can be characterized axiomatically and generalizes involutive meadows. The latter are algebraic structures where the inverse for multiplication is a total operation. As it turns out, the structures satisfying the axioms of flexible involutive meadows are of interest beyond nonstandard analysis.
Cite
@article{arxiv.2309.01284,
title = {Flexible involutive meadows},
author = {Bruno Dinis and Emanuele Bottazzi},
journal= {arXiv preprint arXiv:2309.01284},
year = {2023}
}