set theory - Are there as many real-closed fields of a given cardinality as I think there are?

Hi Pete!

There's been a lot of study of this and similar problems. I believe that Shelah's theorem, from his 1971 paper "The number of non-isomorphic models of an unstable first-order theory" (Israel J. of Math) answers your question about real closed fields in the positive.

The best big result on such questions that I know of is in the 2000 Annals paper "The uncountable spectra of countable theories." by Hart, Hrushovski, Laskowski.

To answer the question on real closed fields specifically (and somewhat cautiously since I'm not a model-theorist):

The theory of real closed fields is a complete first order theory, with countable language. It is an unstable (an easy fact, I think, and explained better on wikipedia than I could explain) theory as well. Hence Shelah's result applies, and the bound $2^kappa$ is realized as you surmised.

Bonus points should go to Shelah (and perhaps also to Hart, Hrushovski, Laskowski, whose paper mentions the result of Shelah and proves other things) for proving that this bound is realized (for uncountable cardinals), except for theories $T$ which have all of the following properties:

1. $T$ has infinite models.


2. $T$ is superstable.


3. $T$ has prime models over pairs.


4. $T$ does not have the dimensional order property.

I have no clue what the fourth property means. But there are plenty of non-superstable theories to which Shelah's theorem applies, and hence which realize your bound (for uncountable cardinals).

For countable cardinality, I think there are still some open problems about how many non-isomorphic models there can be of a given theory, with cardinality $aleph_0$.