Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability

Aleksander Ivanov. Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability. Math. Log. Q., 67(1):43-58, 2021. [doi]

Bibliographies