Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav07_lecture_3 [2007/03/22 13:36] yuanjianwz |
sav07_lecture_3 [2007/03/22 13:37] yuanjianwz |
||
---|---|---|---|
Line 214: | Line 214: | ||
Proof: small model theorem. | Proof: small model theorem. | ||
+ | |||
Line 232: | Line 233: | ||
How about the not equal ? | How about the not equal ? | ||
+ | |||
t1≠t2 | t1≠t2 | ||
can be reduced to | can be reduced to |