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:notes_on_congruences [2009/05/05 23:36] vkuncak |
sav08:notes_on_congruences [2009/05/06 10:00] vkuncak |
||
---|---|---|---|
Line 5: | Line 5: | ||
We next fix $D$ as well as functions and relations and consider the set of all congruences on the set $D$ with respect to these functions and relations. | We next fix $D$ as well as functions and relations and consider the set of all congruences on the set $D$ with respect to these functions and relations. | ||
- | We assume no relation symbols other than congruence itself. We can represent predicate $p(x_1,\ldots,x_n)$ as $f_p(x_1,\ldots,x_n)=tr$ where $f_p$ is a fresh function and $tr$ is a fresh special constant (think of this constant as 'true'). | + | We assume no relation symbols other than congruence itself. We can represent predicate $p(x_1,\ldots,x_n)$ as $f_p(x_1,\ldots,x_n)=true$. |
===== Intersection of Congruences ===== | ===== Intersection of Congruences ===== |