cp(b l , ... , bn )) for every cP E if>. Since if> is a finite set", is an equivalence relation on [A1n with finitely many classes. By Ramsey's Theorem there is an infinite subset Ao of A such that all increasing n-tuples from Ao belong to the same'" -class. Thus, if we interpret the elements of Xo by an appropriate number of elements of A o , listed in increasing order, we get a model of T U {cp(XI, ...
Essential Stability Theory by Steven Buechler
by Kevin
4.0
Rated
5 –
based on
votes
of