# Convergence of the harmonic series in larger fields

The Harmonic series is well known and its divergence was proven back in the middle ages.

I've taken an introductory course in model theory so I know a bit about RCF and some properties of it. We did not explore it thoroughly though and haven't seen many interesting examples.

However, I do know that we can take some real closed field which is large enough (i.e. has cofinality $>\aleph_0$) and then the harmonic series will possibly converge.

My question if we take some $\mathcal{F}$ to be a model of RCF in which $\mathbb{R}$ is embedded and that the type $p(x) = \{ x > n | n\in\mathbb{N}\}$ is realized, $$x = \sum_{n \in \mathbb{N}^+} \frac{1}{n}$$ then $\forall y\in\mathbb{R}(x>y)$ then obviously $x$ is an upper-bound for the real numbers in the field we've chosen. However since $x$ is a non-Archimedean number, it is also clear that $x-1$ is an upper bound of the real numbers in $\mathcal{F}$.

This is the part where I get confused. What is $x$ and what is the conditions required for it to exist in the model?

-
What is {x > n|n in N} supposed to be? Is it {x : x > n and n in N}? Is it {n : x > n and n in N}? –  Ricky Demer Sep 15 '10 at 2:47
Ricky: A type is a set of (usually first-order) formulas. The type $p(x)$ has 1 free variable $x$. The formulas that form this type are all the statements $x>1$, $x>2$, $x>3$, etc. –  Andres Caicedo Sep 15 '10 at 3:41
@Ricky: It is a collection of formulae with a free variable $x$, saying that $p(x)$ is realized meaning that there is some element in $\mathcal{F}$ for which all the formulae in $p(x)$ are true. –  Asaf Karagila Sep 15 '10 at 3:44