Skip to main content
Clarified quantification of $I$ and $J$.
Source Link
James E Hanson
  • 12.5k
  • 3
  • 37
  • 68

Does there exist a pair of non-isomorphic structures $\mathfrak{A}$ and $\mathfrak{B}$ as well as sets $I$ and $J$ and ultrafilters $\mathcal{U}$ on $I$ and $\mathcal{F}$ on $J$ such that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^J/\mathcal{F}\cong\mathfrak{A}$?

This question is inspired by the Keisler-Shelah theorem, which says that you can arrange $\mathfrak{A}^I/\mathcal{U} \cong \mathfrak{B}^J/\mathcal{F}$ (moreover you can arrange that $\mathfrak{A}^I/\mathcal{U}\cong \mathfrak{B}^I/\mathcal{U}$). The answer to this question very likely depends on set theoretic assumptions, so a reasonable weakening would be mere consistency relative to some strong set theoretic assumptions or in some forcing extension. Another reasonable weakening would be to ask about iterated ultrapowers rather than just ultrapowers.

On the other hand assuming a positive answer an obvious follow-up would be the question of the existence of a triple of pairwise non-isomorphic structures, each of which is isomorphic to ultrapowers of the other two. Another obvious follow-up is whether or not it can be arranged that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^I/\mathcal{U\cong{\mathfrak{A}}}$, i.e. whether or not there exists a structure and an ultrafilter such that iterating ultrapowers by that ultrafilter alternates between two isomorphism classes.

Does there exist a pair of non-isomorphic structures $\mathfrak{A}$ and $\mathfrak{B}$ as well as ultrafilters $\mathcal{U}$ on $I$ and $\mathcal{F}$ on $J$ such that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^J/\mathcal{F}\cong\mathfrak{A}$?

This question is inspired by the Keisler-Shelah theorem, which says that you can arrange $\mathfrak{A}^I/\mathcal{U} \cong \mathfrak{B}^J/\mathcal{F}$ (moreover you can arrange that $\mathfrak{A}^I/\mathcal{U}\cong \mathfrak{B}^I/\mathcal{U}$). The answer to this question very likely depends on set theoretic assumptions, so a reasonable weakening would be mere consistency relative to some strong set theoretic assumptions or in some forcing extension. Another reasonable weakening would be to ask about iterated ultrapowers rather than just ultrapowers.

On the other hand assuming a positive answer an obvious follow-up would be the question of the existence of a triple of pairwise non-isomorphic structures, each of which is isomorphic to ultrapowers of the other two. Another obvious follow-up is whether or not it can be arranged that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^I/\mathcal{U\cong{\mathfrak{A}}}$, i.e. whether or not there exists a structure and an ultrafilter such that iterating ultrapowers by that ultrafilter alternates between two isomorphism classes.

Does there exist a pair of non-isomorphic structures $\mathfrak{A}$ and $\mathfrak{B}$ as well as sets $I$ and $J$ and ultrafilters $\mathcal{U}$ on $I$ and $\mathcal{F}$ on $J$ such that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^J/\mathcal{F}\cong\mathfrak{A}$?

This question is inspired by the Keisler-Shelah theorem, which says that you can arrange $\mathfrak{A}^I/\mathcal{U} \cong \mathfrak{B}^J/\mathcal{F}$ (moreover you can arrange that $\mathfrak{A}^I/\mathcal{U}\cong \mathfrak{B}^I/\mathcal{U}$). The answer to this question very likely depends on set theoretic assumptions, so a reasonable weakening would be mere consistency relative to some strong set theoretic assumptions or in some forcing extension. Another reasonable weakening would be to ask about iterated ultrapowers rather than just ultrapowers.

On the other hand assuming a positive answer an obvious follow-up would be the question of the existence of a triple of pairwise non-isomorphic structures, each of which is isomorphic to ultrapowers of the other two. Another obvious follow-up is whether or not it can be arranged that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^I/\mathcal{U\cong{\mathfrak{A}}}$, i.e. whether or not there exists a structure and an ultrafilter such that iterating ultrapowers by that ultrafilter alternates between two isomorphism classes.

Source Link
James E Hanson
  • 12.5k
  • 3
  • 37
  • 68

Is there a pair of non-isomorphic structures each of which is isomorphic to an ultrapower of the other?

Does there exist a pair of non-isomorphic structures $\mathfrak{A}$ and $\mathfrak{B}$ as well as ultrafilters $\mathcal{U}$ on $I$ and $\mathcal{F}$ on $J$ such that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^J/\mathcal{F}\cong\mathfrak{A}$?

This question is inspired by the Keisler-Shelah theorem, which says that you can arrange $\mathfrak{A}^I/\mathcal{U} \cong \mathfrak{B}^J/\mathcal{F}$ (moreover you can arrange that $\mathfrak{A}^I/\mathcal{U}\cong \mathfrak{B}^I/\mathcal{U}$). The answer to this question very likely depends on set theoretic assumptions, so a reasonable weakening would be mere consistency relative to some strong set theoretic assumptions or in some forcing extension. Another reasonable weakening would be to ask about iterated ultrapowers rather than just ultrapowers.

On the other hand assuming a positive answer an obvious follow-up would be the question of the existence of a triple of pairwise non-isomorphic structures, each of which is isomorphic to ultrapowers of the other two. Another obvious follow-up is whether or not it can be arranged that $\mathfrak{A}^I/\mathcal{U}\cong\mathfrak{B}$ and $\mathfrak{B}^I/\mathcal{U\cong{\mathfrak{A}}}$, i.e. whether or not there exists a structure and an ultrafilter such that iterating ultrapowers by that ultrafilter alternates between two isomorphism classes.