What would be the proof that inner models are transitive?
Does it somehow use transitiveness of the model that they are compared to?
What would be the proof that inner models are transitive?
Does it somehow use transitiveness of the model that they are compared to?