We consider continuous structures which are obtained from finite dimensional Hilbert spaces over C by adding some unitary operators. We consider appropriate algorithmic problems concerning continuous theories of natural classes of these structures. We connect these questions with property MF.

中文翻译：

---

有限维希尔伯特空间和可判定性的算子展开的连续理论

我们考虑通过添加一些酉算子从C 上的有限维希尔伯特空间获得的连续结构。我们考虑有关这些结构的自然类别的连续理论的适当算法问题。我们将这些问题与性质 MF 联系起来。