Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav08:herbrand_universe_for_equality [2008/04/02 20:36] vkuncak |
sav08:herbrand_universe_for_equality [2008/04/02 20:40] vkuncak |
||
---|---|---|---|
Line 33: | Line 33: | ||
\] | \] | ||
- | Consequently, | + | In particular, when $R$ is $eq$ we have |
- | \[ | + | |
- | I_Q(eq) = \{ ([t_1],[t_2]) \mid (t_1,t_2) \in I_H(eq) \} = \{ (a,a) \mid a \in [GT] \} | + | |
- | \] | + | |
- | that is, the interpretation of eq in $([GT],I_Q)$ is equality. | + | |
+ | $I_Q(eq) = $ ++| $\{ ([t_1],[t_2]) \mid (t_1,t_2) \in I_H(eq) \} = \{ (a,a) \mid a \in [GT] \}$ | ||
+ | |||
+ | that is, the interpretation of eq in $([GT],I_Q)$ is equality. | ||
+ | ++ | ||