Skip to main content
1 of 2
Alex Gavrilov
  • 6.9k
  • 25
  • 51

Is the Invariant Subspace Problem arithmetic?

Invariant Subspace Conjecture: A bounded operator on a separable Hilbert space has a non-trivial closed invariant subspace.

Can this conjecture be reformulated as an arithmetic statement, that is, $\Pi^0_n$ statement for some n? (I tried to figure it out, but failed.)

Alex Gavrilov
  • 6.9k
  • 25
  • 51