Dear FOMers I'm reading this book http://www.edisk.cz/stahni/82199/Marker_-_Model_theory__An_introduction__2002_.djvu_3.62MB.html and I have a problem on page 119, -5th line: >> ...a contradiction with what is that >> tp^N(a,A) in S_n^M(A) \ ...... Can someone help please? Jan Pax