On the structure of $T$-$λ$-spherical completions of o-minimal fields

Pietro Freni

2024-10-01

Abstract:Let $T$ be the theory of an o-minimal field and $T_0$ a common reduct of $T$ and $T_{an}$. I adapt Mourgues' and Ressayre's constructions to deduce structure results for $T_0$-reducts of $T$-$\lambda$-spherical completion of models of $T_{\mathrm{convex}}$. These in particular entail that whenever $\mathbb{R}_L$ is a reduct of $\mathbb{R}_{an,\exp}$ defining the exponential, every elementary extension of $\mathbb{R}_L$ has an elementary truncation-closed embedding in the class-sized field $\mathbf{No}$ of surreal numbers. This partially answers a question in [3](<a class="link-https" data-arxiv-id="2002.07739" href="https://arxiv.org/abs/2002.07739">arXiv:2002.07739</a>). The main technical result is that certain expansion of Hahn fields by generalized power series interpreted as functions defined on the positive infinitesimal elements, have the property that truncation closed subsets generate truncation closed substructures. This leaves room for possible generalizations to the case in which $T_0$ is power bounded but not necessarily a reduct of $T_{an}$.

Logic

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

This paper mainly explores two widely - studied directions related to o - minimal fields and attempts to provide partial answers. Specifically, the author attempts to solve the following two problems:

1. **Q1: When can a generalized power series field \( E\subseteq K((M)) \) be extended to an elementary extension of \( K \)?**

- Given an o - minimal field \( K \) and a generalized power series field \( E\subseteq K((M)) \) that contains \( K \), under what conditions can \( E \) be extended to an elementary extension of \( K \)?
- Further, when \( K \) is an o - minimal structure of exponential type, can this extension satisfy some additional conditions (such as conditions (D) and (T4))?

2. **Q2: Which elementary extensions of \( K \) can be embedded into \( E \) while maintaining the truncation - closed property?**

- Given an o - minimal structure \( K \) and a generalized power series field \( E\subseteq K((M)) \) with the structure of an elementary extension of \( K \), which elementary extensions of \( K \) can find a truncation - closed elementary embedding in \( E \)?
- In particular, when \( K = \mathbb{R}_{\text{an},\exp} \), can these embeddings be naturally mapped into the surreal number field \( \mathbb{No} \)?

### Main contributions

The main technical result of this paper is to prove that a class of Hahn fields extended by generalized power series has the property that truncation - closed subsets generate truncation - closed substructures. This provides partial answers to the above two problems, in particular:

- **C1**: For a sufficiently large cardinal number \( \lambda \), the reduction of \( T \)-\(\lambda\)-spherical completion can be isomorphic to a generalized power series field of the form \( K((M))_\lambda \), and the exponential function on this field satisfies conditions (D) and (T4).
- **C2**: If \( T \) is the reduction of \( \mathbb{R}_{\text{an},\exp} \) that defines the exponential function, then the elementary extension of the \( T \)-reduction \( R_L \) can be truncation - closedly embedded into the surreal number field \( \mathbb{No} \).

### Formula representation

The formulas involved in the paper are represented in Markdown format as follows:

- Formal series of Hahn fields:
\[
f := \sum_{m\in M} k_m m
\]
where the support set \( \text{Supp}(f):=\{m\in M:k_m\neq 0\} \) is well - ordered under the reverse order on \( M \).

- Truncation operation:
\[
f|_m := \sum_{n > m} k_n n
\]

- Multiplication of generalized power series:
\[
\left(\sum_{i\in I} f_i\right)\cdot\left(\sum_{j\in J} g_j\right)=\sum_{(i,j)\in I\times J} f_i\cdot g_j
\]

- Natural valuation:
\[
v(x):=[\lvert x\rvert]_{\sim}
\]
where \( x\sim y\Leftrightarrow(\exists n\in\mathbb{N})\,\lvert x\rvert\leq n\lvert y\rvert \).

These problems and results provide a new perspective and tools for understanding the structures of o - minimal fields and their generalized power series fields.