@misc{indiciaefe0f7d4aa1ea,
  title = {Model theory of Hilbert spaces expanded by normal operators},
  author = {Alexander Berenstein and Nicolás Cuervo Ovalle and Isaac Goldbring},
  year = {2025},
  url = {https://arxiv.org/abs/2507.21894},
  note = {Source identifier: 2507.21894}
}