Dear Bob,

On Sun, 26 Oct 2014, Robert Solovay wrote:

Dear Sy,

In the last conjecture of your letter what does ” rigid” mean?

The only elementary embedding from the Stable Core to itself is the identity. I’m thinking of embeddings such that models ZF.

Best,

Sy