Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2501.10033 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914309449187328 |
|---|---|
| author | Freni, Pietro Matthews, Angus |
| author_facet | Freni, Pietro Matthews, Angus |
| contents | Let $T$ be an o-minimal theory expanding $\mathrm{RCF}$ and $T_\mathrm{convex}$ be the common theory of its models expanded by predicate for a non-trivial $T$-convex valuation ring. We call an elementary extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*) \models T_{\mathrm{convex}}$ $\textit{res-constructible}$ if there is a tuple $\overline{s}$ in $\mathcal{O}_*$ such that $\mathbb{E}_* = \mathrm{dcl}(\mathbb{E},\overline{s})$, and the projection $\mathbf{res}(\overline{s})$ of $\overline{s}$ in the residue field sort is $\mathrm{dcl}$-independent over the residue field $\mathbf{res}(\mathbb{E}, \mathcal{O})$ of $(\mathbb{E}, \mathcal{O})$. We study factorization properties of res-constructible extensions. Our main result is that a res-constructible extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*)$ has the property that all $(\mathbb{E}_1, \mathcal{O}_1)$ with $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_1, \mathcal{O}_1) \prec (\mathbb{E}_*, \mathcal{O}_*)$ are res-constructible over $(\mathbb{E}, \mathcal{O})$, if and only if $\mathbb{E}_*$ has countable $\mathrm{dcl}$-dimension over $\mathbb{E}$ or the value group $\mathbf{val}(\mathbb{E}_*, \mathcal{O}_*)$ is $\textit{short}$ (i.e. contains no uncountable well-ordered subset). This analysis entails complete answers to [11, Problem 5.12]. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_10033 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Residually Constructible Extensions Freni, Pietro Matthews, Angus Logic 03C64 Let $T$ be an o-minimal theory expanding $\mathrm{RCF}$ and $T_\mathrm{convex}$ be the common theory of its models expanded by predicate for a non-trivial $T$-convex valuation ring. We call an elementary extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*) \models T_{\mathrm{convex}}$ $\textit{res-constructible}$ if there is a tuple $\overline{s}$ in $\mathcal{O}_*$ such that $\mathbb{E}_* = \mathrm{dcl}(\mathbb{E},\overline{s})$, and the projection $\mathbf{res}(\overline{s})$ of $\overline{s}$ in the residue field sort is $\mathrm{dcl}$-independent over the residue field $\mathbf{res}(\mathbb{E}, \mathcal{O})$ of $(\mathbb{E}, \mathcal{O})$. We study factorization properties of res-constructible extensions. Our main result is that a res-constructible extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*)$ has the property that all $(\mathbb{E}_1, \mathcal{O}_1)$ with $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_1, \mathcal{O}_1) \prec (\mathbb{E}_*, \mathcal{O}_*)$ are res-constructible over $(\mathbb{E}, \mathcal{O})$, if and only if $\mathbb{E}_*$ has countable $\mathrm{dcl}$-dimension over $\mathbb{E}$ or the value group $\mathbf{val}(\mathbb{E}_*, \mathcal{O}_*)$ is $\textit{short}$ (i.e. contains no uncountable well-ordered subset). This analysis entails complete answers to [11, Problem 5.12]. |
| title | Residually Constructible Extensions |
| topic | Logic 03C64 |
| url | https://arxiv.org/abs/2501.10033 |