  Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of
Quantum Variable Sets is constructed which generalizes and simplifies the
analogous construction developed by Takeuti on boolean valued models of set
theory. Over this model two alternative proofs of Takeuti's correspondence,
between self adjoint operators and the real numbers of the model, are given.
This approach results to be more constructive showing a direct relation with
the Gelfand representation theorem, revealing also the importance of these
results with respect to the interpretation of Quantum Mechanics in close
connection with the Deutsch-Everett multiversal interpretation. Finally, it is
shown how in this context the notion of genericity and the corresponding
generic model theorem can help to explain the emergence of classicality also in
connection with the Deutsch- Everett perspective.
