Suppose that $\phi$ is a formula in the language of set theory such that
there are some $n_{1},...,n_{k}$ such that if $V\models\phi(x)$, then $x=(X,R_{1},...,R_{k})$ and $\mathrm{Eq}:X^{2}\rightarrow B,R_{1}:X^{n_{1}}\rightarrow B,...,R_{k}:X^{n_{k}}\rightarrow B$ are mappings such that $(X,\textrm{Eq},R_{1},...,R_{k})$ is a $B$-valued structure such that $B$ is a complete Boolean algebra and if $p$ is a partition of $B$ and $x_{a}\in X$ for $a\in p$, then there is some $x\in X$ with $\|x=x_{a}\|\geq a$ for $a\in p$ ($x$ has the mixing property).
if $V\models\phi(x)$, $x$ is a $B$-valued structure and $y$ is a $C$-valued structure and the structures $x$ and $y$ are isomorphic, then $V\models\phi(y)$ as well.
(Here we say that separated Boolean valued structures $x$ and $y$ are isomorphic if there are bijections $f:x\rightarrow y,L:B\rightarrow C$ so that for each formula $\phi$, we have $L(\|\phi(a_{1},...,a_{n})\|_{B})=\|\phi(f(a_{1}),...,f(a_{n})\|_{C}$.)
Then we say that $\phi$ is a Boolean valued structure formula.
Suppose that $$V^{B}\models\dot{\mathcal{X}}=((\dot{X},\dot{R}_{1},...\dot{R}_{k})\text{ is a relational structure of type $n_{1},...,n_{k}$}.$$ Let $\Gamma^{*}(\dot{X})=\{x\in V^{B}:\|x\in\dot{X}\|_{B}=1\}$ and let $\simeq$ be the equivalence relation on $V^{B}$ where $x\simeq y$ iff $\|x=y\|=1$ and let $\Gamma(\dot{X})=\Gamma^{*}(\dot{X})/\simeq$ (technically $\Gamma(\dot{X})$ is a collection of proper classes, but one may use Scott's trick to represent $\Gamma(\dot{X})$ as a set). Let $\Delta(\dot{\mathcal{X}})$ be the Boolean-valued structure in $V$ with underlying set $\Gamma(\dot{X})$ defined in an obvious way.
We say that a sequence of formulas $\theta;\theta_{1},...,\theta_{n}$ is a determining sequence for a Boolean valued structure formula $\phi$ if whenever $$V^{B}\models\dot{\mathcal{X}}=(\dot{X},\dot{R}_{1},...,\dot{R}_{k})\text{ is a relational structure of type $n_{1},...,n_{k}$},$$ then $V\models\phi(\Delta(\dot{\mathcal{X}}))$ if and only if $V\models\theta(B,\|\theta_{1}(\dot{\mathcal{X})}\|_{B},...,\|\theta_{n}(\dot{\mathcal{X}})\|_{B})$.
When does a Boolean-valued structure formula have a determining sequence? When a Boolean-valued structure has a determining sequence, how does one compute this determining sequence?
I have recently been interested in the relation between structures in $V^{B}$ and how those structures relate to structures in $V$ and I asked a similar question here.