Board Thread:Local Games/@comment-7395353-20151106203233/@comment-7395353-20151120205549

SpongebobALT194 wrote: (R( [ψ],t) ↔  ( ([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨  ([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨  ([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨  ([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨  ([ψ] = `∃x_i (&)'R([θ],t')) R([φ],s)} ...

wat