A note on $\aleph_{\alpha}$-saturated o-minimal expansions of real closed fields

TL;DR

This paper characterizes when polynomially bounded o-minimal expansions of real closed fields are leph_{\u03b1}-saturated, based on valuation-theoretic properties, and offers a construction method for such models using generalized power series.

Contribution

It provides necessary and sufficient conditions for leph_{\u03b1}-saturation in o-minimal expansions, linking model-theoretic saturation to valuation-theoretic invariants.

Findings

Characterization of leph_{\u03b1}-saturation via valuation data

Analysis of types leading to a trichotomy classification

Construction method for saturated models using power series fields

Abstract

We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_{\alpha}$-saturated. The conditions are in terms of the value group, residue field, and pseudo- Cauchy sequences of the natural valuation on the real closed field. This is achieved by an analysis of types, leading to the trichotomy. Our characterization provides a construction method for saturated models, using fields of generalized power series.