5
$\begingroup$

What would be the proof that inner models are transitive?

Does it somehow use transitiveness of the model that they are compared to?

1 Answers 1