12,179
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 12:08, 9 July 2008
, 12:08, 9 July 2008→Reality at the Threshold of Logic: HTML → TeX
|-
|-
|
|
<math>\begin{matrix}
X_i \\
isomorphic to '''K'''
\langle x_i \rangle \\
\mbox{isomorphic to}\ \mathbb{K} \\
\end{matrix}</math>
|
|
<u>''X''</u><sub>''i''</sub><br>
<math>\begin{matrix}
{(<u>''x''</u><sub>''i''</sub>), <u>''x''</u><sub>''i''</sub>}<br>
\underline{X}_i \\
isomorphic to '''B'''
\{(\underline{x}_i), \underline{x}_i \} \\
\mbox{isomorphic to}\ \mathbb{B} \\
\end{matrix}</math>
|
|
<math>\begin{matrix}
{(''a''<sub>''i''</sub>), ''a''<sub>''i''</sub>}<br>
A_i \\
isomorphic to '''B'''
\{(a_i), a_i \} \\
\mbox{isomorphic to}\ \mathbb{B} \\
\end{matrix}</math>
|-
|-
|
|