Four redundant axiomatics
Rings and Algebras
2023-12-15 v1 Functional Analysis
Abstract
We considerably shorten axiom systems for Metric space Real normed space Euclidean space Algebra with scalar involution
Cite
@article{arxiv.2312.08404,
title = {Four redundant axiomatics},
author = {Anton Cedilnik},
journal= {arXiv preprint arXiv:2312.08404},
year = {2023}
}
Comments
9 pages Published in the electronic review Matrika