Re: Implementable Set Theory and Consistency of ZFC

Jesse F. Hughes wrote:

Here's what I think you *can* say: Statements (5)-(8) are true in your
model and your model is canonical in a sense (I think it's minimal).
It is not the case that (5)-(8) are therefore *entailed* by (1)-(4) in
any sense of the word that I understand.

It seems that I can learn something from you here. Please explain to me
the words "canonical" and "minimal" and what they mean in this context.

Han de Bruijn

.

Relevant Pages