12,154
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 21, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 15:18, 29 May 2009
, 15:18, 29 May 2009→Note 5: markup
|}
|}
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}x)(\operatorname{d}y)</math> is drawn as a loop at the point <math>x~y.</math>
{| align="center" cellpadding="6" width="90%"
| align="center" |
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
| |
| |
o---------------------------------------o
o---------------------------------------o
</pre>
|}
We may understand the enlarged proposition Ef
We may understand the enlarged proposition <math>\operatorname{E}f</math> as telling us all the different ways to reach a model of the proposition <math>f\!</math> from each point of the universe <math>U.\!</math>
as telling us all the different ways to reach
a model of f from any point of the universe U.
</pre>
====Note 6====
====Note 6====
