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