Re: Finitely Many Complete Types
- From: blakman211@xxxxxxxxxxx
- Date: 1 Jun 2006 09:37:13 -0700
That should say "Suppose that T has a model A that realizes only
finitely many COMPLETE 1-types"
blakman...@xxxxxxxxxxx wrote:
Suppose that T has a model A that realizes only finitely many types.
Then doesn't this immediately imply that there is a formula \phi_i for
each type \gamma_i such that \gamma_i realizes \phi_i but no \gamma_k
realizes \phi_i, whenever i and k are not equal?
.
- References:
- Finitely Many Complete Types
- From: blakman211
- Finitely Many Complete Types
- Prev by Date: Finitely Many Complete Types
- Next by Date: Re: Why? [was Re: Cantor`s powerset theorem is false?]
- Previous by thread: Finitely Many Complete Types
- Index(es):
