[FOM] Re: Borel categoricity

[Dave Marker]

Having not thought about the problem for many years, I realize
that I had forgoten one of the key steps

On Thu, 10 Jul 2003, Dave Marker wrote:
>
> iv) If T has a two cardinal model then T has a Borel two cardinal model.
> (if you've done i) and ii) it might be helpful to assume omega-stability
> here)

This is known to be true, at least if T is omega-stable (or even stable).
Under these assumptions, if there is a two cardinal model, there are
arbitrarily large two-cardinal models (this is a theorem of Lachlan) and
you can then use Erdos-Rado to build two cardinal models generated by
indiscernibles. Using a set of indiscernibles of order type the reals
yields a Borel two cardinal model.

Thus, to answer the question, is every Borel categorical theory
categorical in every uncountable power, it is enough to answer
the following question:

If T is a complete theory in a countable language, is there a
Borel model M of T such that M realizes only countably many types
over every countable subset.

The argument I sketched above is given in Charles Steinhorn's paper
"Borel Structures and Measure and Category Logics" in
"Model Theoretic Logics" J. Barwise and S. Feferman ed, Springer 1985.

Dave Marker