Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav08:isomorphism_of_interpretations [2008/03/19 17:34] vkuncak |
sav08:isomorphism_of_interpretations [2008/03/20 13:37] vkuncak |
||
---|---|---|---|
Line 61: | Line 61: | ||
Case for $F_1 \land F_2$. | Case for $F_1 \land F_2$. | ||
- | Case for $\exists x.F$. Induction issues. | + | Case for $\exists x.F$. Induction issues, function update on isomorphic interpretations. |
++++ | ++++ |