As of May 31, 2023, we have updated our Code of Conduct.

# Questions tagged [ultrapowers]

The tag has no usage guidance.

72 questions
Filter by
Sorted by
Tagged with
1k views

### Ultraproducts of Banach spaces versus model theoretic ultraproduct

Reading about ultraproducts in model theory and in Banach spaces leads to two distinct definitions. E.g., for an ultrapower given by an ultrafilter $\mu$ on $\mathbb{N}$, both notions of ultrapower ...
113 views

229 views

### ultrapower(ultrapower)=ultrapower

Is there a nonprincipal ultrafilter $\omega$ on $\mathbb N$ such that for any metric space $M$ there is an isometry $$(M^\omega)^\omega\to M^\omega?$$ (In other words, the $\omega$-power of $\omega$-...
597 views

298 views

94 views

### A Question about an irreducible ultra-power II,

Let $E$ be an irreducible Banach $A$-module, for a Banach algebra $A$. One can easily show that for an ultra filter $\mathcal U$, $(E)_\mathcal U$ is a Banach $(A)_\mathcal U$-module. Is it possible ...
68 views

### A question about an irreducible ultra-power

Let $A$ be a Banach algebra and $E$ be an irreducible Banach $A$-module. Is there a countably incomplete ultra filter $\mathcal U$ on $\mathbb N$, the set of natural numbers, such that the ultra power ...
1 vote
235 views

138 views

135 views

### Banach spaces complemented in their ultrapowers

By the principle of local reflexivity, the second dual $X^{**}$ of a Banach space $X$ is complemented in some ultrapower $X^U$ of $X$. Even when $X$ is separable, the index set of $U$ cannot be ...
511 views

### Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...
146 views

### Ultraproducts and subobjects of projectives

Usually the question whether the class of projective algebras in a given variety is closed under taking subalgebras seems to be quite hard. In varieties with well understood dual geometry (e. g. ...
1 vote
85 views

### Reduced products of (abelian and triangulated) categories: references?

For a filter $U$ on a set $X$ and for a family of categories $C_x$ indexed by $X$ I would like to consider the (corresponding categorical version of) reduced product of $C_x$ (for $x\in X$) with ...
180 views

2k views

### Is it ever a good idea to use Keisler-Shelah to show elementary equivalence?

The most useful way I know to show that two structures are elementarily equivalent is Ehrenfeucht-Fraisse games. These are quite nice and intuitive, and even when I can't use them to solve my problem ...
1 vote
241 views

### Ultrapowers of ultrapowers

Suppose that you have some structure $S$, and you want to construct an ultrapower of cardinality $\kappa$ to obtain $S^*_\kappa$. Then, say you want to construct a new ultrapower from $S^*_\kappa$, ...
959 views

Philip Ehrlich's paper “The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small”, The Bulletin of Symbolic Logic 18 (1) 2012, pp. 1-45. claims as a theorem that, in NBG, $\... 2 votes 1 answer 265 views ### Can we flex the rigid models by enough power? Definition (1): ‎An ‎‎$‎‎‎\mathcal{L}‎$-‎ ‎structure ‎‎$‎‎‎\mathcal{M}‎$‎called ‎"‎‎rigid" ‎iff ‎‎there ‎is ‎no ‎non-trivial automorphism on ‎$‎\mathcal{M}‎$.‎ ‎‎ Definition (2): ‎An ‎‎$‎‎‎\mathcal{... 269 views

### Is there a truth approximation on a‎ cumulative hierarchy‎‎‎‎?

‎‎‎Note ‎to ‎the ‎following ‎well known theorem:‎ Theorem (1): ‎If ‎‎$‎‎\kappa‎‎$ ‎be a ‎‎"measurable" ‎cardinal ‎and ‎‎$‎‎‎\mathcal{F}‎$ be a‎ ‎"non-principal ‎$‎‎‎\kappa‎$-complete normal‎" ‎... 157 views

### What is known about the krull dimension of an ultrapower ring?

Let $R$ be a ring, $F$ a free ultrafilter on a set $X$ which is not countably complete, and $R_F$ the ultrapower of $R$ with $R \not\cong R_F$. The following two results are from a masters thesis ...
### Why does CH imply that there is a unique ultrapower of $\mathbb{N}$?
I've read these words: "How many ultra products $∏_Uℕ$ exist up to isomorphism, where $U$ is a non-principal ultrafilter over $ℕ$? If continuum hypothesis(CH) holds, then obviously just one ..." i ...
Let $K$ be a char $0$ field with algebraic closure $\bar K$ and absolute Galois group $G$. Let $\mathcal U$ be an ultrafilter on $\mathbb N$ and $F=\bar K^\mathbb N/\mathcal U$ be the ultrapower of \$\...