关于 C((t)) 模型论的短篇笔记
逻辑
2025-01-23 v1
摘要
在本短篇笔记中，我们以有理环的语言研究 C((t))。我们证明了 C((t)) 的 n 维可定义子集（或在怪胎模型中，M_n）可定义紧致当且仅当其为闭且无界。随后我们对 C((t)) 上的可定义群作了一些补充说明。
引用
@article{arxiv.2501.12545,
title = {A short note on model theory of C((t))},
author = {Zhentao Zhang},
journal= {arXiv preprint arXiv:2501.12545},
year = {2025}
}