All Questions

I heard from a reputable mathematician that ZFC proves that there is a minimal countably saturated real-closed field. I have several questions about this. Is there a soft model-theoretic construction ...

Let $V[G]$ be a generic extension of $V$ by adding a new Cohen real (or generally a generic extension which adds new reals and do not blow up the power of the continuum). Working in $V[G],$ we can ...

Let $K=\lim(K_{i})$ be an ultrafield (over a non-principal ultrafilter), and let $K\hookrightarrow K'$ be a field extension of $K$. When the field $K'$ is finite over $K$ it is also an ultrafield by ...

Let $\kappa$ be an infinite cardinal. Then there exists at least one real-closed field of cardinality $\kappa$ (e.g. Lowenheim-Skolem; or, start with a function field over $\mathbb{Q}$ in $\kappa$ ...