typeswitch on Nostr: Here's the part I'm unsure about. I think we could build such a model by transposing ...

Here's the part I'm unsure about. I think we could build such a model by transposing the ultrapower construction, so instead of looking at ultrapowers of sets in V, we look at sets of sequences in V, quotiented by U, and build a model out of that. Let's call this model W, and the idea that sets in W are sets of sequences in V, up to equivalence on U-large sets of indices. And ∈ in W is given by ∈ in V, up to equivalence of sequences by U-large sets of indices.

6/