Talk:Spectrum of a theory

From Wikipedia, the free encyclopedia

[edit] What About Uncountable Theories?

This page is very nice, but probably ought to be rewritten in a more general way. The spectrum function I, is not only used for theories in countable languages, as is stated in the article. Much work has been done on the spectrum of complete theories (having infinite models) in general. For instance the Baldwin-Lachlan Theorem, among many others.

Dlinetsky 02:48, 12 October 2007 (UTC)Dlinetsky