A short note on model theory of C((t))
Logic
2025-01-23 v1
Abstract
In this short note, we study C((t)) in the language of valued rings. We show that a definable subset of C((t))n (or in monster model, Mn) is definably compact iff it is closed and unbounded. Then we give some comments on definable groups over C((t)).
Cite
@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}
}