Talk:Saturated model

From Wikipedia, the free encyclopedia

You have new messages (last change).

This article is in need of better explanations for the (informed) layman. It also uses the same notation S() for both sets of types and for the successor function. Kuratowski's Ghost 02:54, 20 Mar 2005 (UTC)

This seems to have been corrected. - Gauge 21:31, 10 July 2005 (UTC)

I think the article should define "countably saturated." Is this just the case where |M|=omega? It's also unfortunate that complete type is used prominently in the definition, but there's no article. --Bcrowell 16:32, 14 January 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../s/a/t/Talk%7ESaturated_model_c31a.html"