Hilbert spaces expanded with a unitary operator

Mathematical Logic Quarterly 55 (1):37-50 (2009)
  Copy   BIBTEX

Abstract

We study Hilbert spaces expanded with a unitary operator with a countable spectrum. We show that the theory of such a structure is ω -stable and admits quantifier elimination

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,951

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-12-01

Downloads
41 (#617,730)

6 months
5 (#876,395)

Historical graph of downloads
How can I increase my downloads?