[FOM] CATEGORICITY and STRONGLY MINIMAL SETS
Harvey Friedman
friedman at math.ohio-state.edu
Sun Jun 29 02:57:56 EDT 2003
Reply to Baldwin 8:46AM 6/21/03.
>The study of categoricity dates (at least) from the work of
>Huntington around the turn of the 20th century.
Who is Huntington, and what did he do at that surprisingly early date?
>While a second
>order sentence can be categorical -- have exactly one infinite
>model, the Lowenheim Skolem theorem shows that a first order
>sentence which has an infinite model has one in every infinite
>cardinality.
Let T be a first order sentence that has an infinite model. I have
been interested in the question of whether you can explicitly
construct a model of T whose domain is a given infinite set D.
The answer is no in general.
THEOREM. (ZF, or even a very weak fragment of ZF). Let D be a set.
The following are equivalent.
a) every sentence in predicate calculus with equality that has an
infinite model has a model with domain D;
b) every set of sentences in in predicate calculus with equality in a
countable language, that has an infinite model has a model with
domain D;
c) D has a linear ordering and there is a one-one map from DxD into D.
COROLLARY. "Every sentence in predicate calculus with equality which
as an infinite model has a model whose doamin is any given infinite
set" is provably equivalent to ZFC over ZF.
ZFC is stronger than ZF + "every set can be lineary ordered".
NOTE: This turns out not to be a crude question about what can be
done without the axiom of choice, but rather a question about the
explicitness of a construction in a very strong sense.
NOTE: One can also formulate things in terms of definability and
ordinal definability in ZFC.
>Understanding the nature of sentences or theories
>which are categorical in kappa (have only one model of cardinality
>kappa) has been a major theme in model theory since the 50's. This
>study evolved through the methods of stability theory into
>understanding which models admit a nice structure theory (in the
>sense of an algebraist). This structure theory is built around a
>dimension theory which is incompatible with Godelian phenomena, so
>categorical structures are `tame' in the sense of Van den Dries. I
>may say more about this in a later note. The tameness
>observation, although implicit since at least the 70's, has not
>played a significant explicit role in the development.
I think it was shown some time ago that there are nonfinitely
axiomatizable theories in a countable language which are aleph 0
categorical? Glassner, a student of Cohen??
Also, what is the computational complexity of the set of sentences
that are aleph 0 categorical? And how complicated is the unique
model, up to isomorphism?
>
>Any aleph one categorical theory is determined by its so-called
>strongly minimal sets. In this note I will sketch some background
>information about strongly minimal sets.
>
>prehistory:
>
>Los-Vaught test: If a theory is categorical in power then it is
>complete.
>
>Morley's Theorem: A(countable) theory is categorical in one
>uncountable power iff it is categorical in all uncountable powers.
Is there an interesting version of this in ZF? Of course, you can
just restrict yourself to well ordered cardinalities and simply
repeat the statement. But that might not be the most illuminating way
to proceed.
NOTE: One can also formulate this in terms of definability and
ordinal definability in ZFC.
>
>
>the `little Vaught conjecture': an aleph_1 categorical theory has
>either 1 or aleph_0 countable models.
Same questions.
>
>Morley's conjecture: No aleph_1 categorical theory is finitely
>axiomatized.
>
Same questions.
>
>Basic properties of strong minimality:
>
>A set is minimal (strongly minimal) if every definable set (in
>every elementary extension) is finite or cofinite.
Do you mean
definable subset
instead of
definable set?
Also, I gather that T, a theory, is minimal (strongly minimal) if
every definable set (in every elementary extension) is finite or
cofinite.
Obviously one can define a hierarchy here according to the complexity
of the definable set. Thus we have
degree k minimal
degree k strongly minimal
Do we in fact get a hierarchy? If we want, say, only degree 100, then
presumably there is no shortage of finitely axiomatizable examples?
And what happens if we study that?
Also, what can one say about effectiveness in the sense that, given a
definition, what is a bound on the size of the extension or
coextension, as a function of the complexity of the definition? In
the paradigm case of algebraically closed fields, this is a
manageable function. Otherwise?
>
>
>
>Model theorists generalize the field theoretic notion of algebraic
>closure by saying a is in the algebraic closure of X in M if M
>models phi(a,xbar) for some formula with parameters from X that
>has only finitely many solutions. It is easy to see that in a
>strongly minimal set, algebraic closure has the properties of a
>closure relation studied in linear algebra (or of transcendence
>degree). (An account of generalized closure relations will be
>another post.) Thus there is a natural notion of dimension,
>invariance of basis number etc. and this implies that every
>strongly minimal theory is categorical in all uncountable powers.
What about explicitness, and provability in ZF, and definability over
ZFC, etc.?
>
>Listing the strongly minimal sets:
>
>The standard strongly minimal models are (Z,S), vector spaces over
>any fixed field, algebraically closed fields. Zilber conjectured
>that in some sense this was all. The Hrushovski construction
>refutes that conjecture.
>
>Zilber proved that every strongly minimal set that is
>aleph_0-categorical is essentially a vector space over a finite
>field. (The `essentially' hides some rather interesting technical
>mathematics of Cherlin-Harrington-Lachlan, Ahlbrandt-Ziegler,
>Pillay-Hodges which involves both cohomology and
>well-quasi-orderings.)
If there are wqo's, there is fire. So can you state the most model
theoretically relevant fact that involves wqo's for us?
Harvey Friedman
More information about the FOM
mailing list