I apologize if this is not the right forum to ask such a basic question... In model theory what does that mean that a type concentrates on one point?

Take the 2-minute tour
×

MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

includedin a principal type, and OTOH, it may (or may not) be that the generating formula is required to be complete. More context would really help. – Emil Jeřábek May 23 '11 at 18:05