this is for holding javascript data
Simon McGill edited untitled.tex
over 8 years ago
Commit id: 7ac2f5cd2d3f685eb55f38ff14c3b764a4f9e619
deletions | additions
diff --git a/untitled.tex b/untitled.tex
index 5661111..fd93be4 100644
--- a/untitled.tex
+++ b/untitled.tex
...
We will say that one theory of rationality $R_1: (B_1 \times D_1 \times \Phi_1 \times S) \to (2^{B_1} \times 2^{D_1} \times 2^A)$ is subsumed by another $R_2: (B_2 \times D_2 \times \Phi_2 \times S) \to (2^{B_2} \times 2^{D_2} \times 2^A)$ if and only if $R_2$ can compute $R_1$ under a transformation of individual variables:
\[ R_1 \prec R_2 \textrm{ iff } \exists f_B: B_1 \to B_2, \ f_D: D_1 \to D_2, \ f_\Phi: \Phi_1 \to \Phi_2 \textrm{ such that } \\
\forall b \in B_1, d \in D_1, \phi \in \Phi_2, s \in S : R_1(b, d, \phi, s) =
R_2(f_B(b), R_2\left(f_B(b), f_D(d), f_\phi(\phi),
s) s\right)
\]