Solovay's theorem

Redirect to:

  • Solovay model