next up previous contents
Next: Proof Up: Church-Rosser property Previous: Church-Rosser property   Contents

Theorem

(Church-Rosser) Let $R$ be Church-Rosser. Then $M \stackrel{{R}}{\leftrightarrow} N$ implies there exists $Z$, $M~R~Z$ and $N~R~Z$


Madhavan Mukund 2004-04-29