交换近向量空间的模型论
逻辑
2022-07-12 v2
摘要
在本文中我们从模型论观点研究交换 上的近向量空间。在此背景下我们证明正则近向量空间事实上是向量空间。我们发现近向量空间不是一阶可公理化的，但有限块近向量空间是。在后一种情形我们建立了量词消去，并且该理论由 的点态加法闭包中哪些元素是该近向量空间的自同构所控制。
引用
@article{arxiv.1807.06563,
title = {The model theory of Commutative Near Vector Spaces},
author = {Karin-Therese Howell and Charlotte Kestner},
journal= {arXiv preprint arXiv:1807.06563},
year = {2022}
}