Four redundant axiomatics
arXiv:2312.08404
Abstract
We considerably shorten axiom systems for Metric space Real normed space Euclidean space Algebra with scalar involution
arXiv comment9 pages Published in the electronic review Matrika
arXiv:2312.08404
We considerably shorten axiom systems for Metric space Real normed space Euclidean space Algebra with scalar involution
arXiv comment9 pages Published in the electronic review Matrika