We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [KKMZ], where the authors gave such a characterization for $\kappa$-saturation, for a cardinal $\kappa \geq \aleph_0$. Our result extends the characterization of Harnik and Ressayre [HR] for a divisible ordered abelian group to be recursively saturated.
A valuation theoretic characterization of recursively saturated real closed fields
D'AQUINO, Paola;
2015
Abstract
We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [KKMZ], where the authors gave such a characterization for $\kappa$-saturation, for a cardinal $\kappa \geq \aleph_0$. Our result extends the characterization of Harnik and Ressayre [HR] for a divisible ordered abelian group to be recursively saturated.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
