# Tagged Questions

**5**

votes

**1**answer

272 views

### Ultraproduct of Forcing Extensions & Forcing Extension of Ultraproduct

Notation:
$M[{\mathbb{P}}:G]$ denotes the forcing extension of $M$ by $\mathbb{P}$-generic filter $G$.
$\prod_{\mathcal{F}}\langle M_i~|~i\in I\rangle$ denotes the ultraproduct of models using the ...

**2**

votes

**1**answer

122 views

### How many elementary equivalent models are unifiable by ultrapower?

Definition. A class $\mathcal{C}$ of pairwise elementary equivalent $\mathcal{L}$-structures is unifiable by ultrapower if there is an index set $I$ and an ultrafilter $F$ on it such that $\forall ...

**1**

vote

**0**answers

177 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$, ...

**5**

votes

**1**answer

142 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" ...

**2**

votes

**0**answers

65 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 ...

**13**

votes

**2**answers

385 views

### 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 ...

**1**

vote

**1**answer

197 views

### When can we “displace” an ultrafilter limit with another limit?

Let $\cal A$ be a Banach algebra, $\cal U$ be a free ultrafilter, and $\phi$ be a character. Let ${(w_{\alpha})}_{\alpha}$ be a net in $(\cal A)_{\cal U}$, and suppose that for every $(a_i)\in (\cal ...

**6**

votes

**0**answers

199 views

### Double ultrapower of the hyperfinite $II_1$-factor

Let $\omega$ be a free ultrafilter on the natural numbers and $R$ be the hyperfinite $II_1$-factor (the definition of $R$ is recalled in the comments).
Question: Does there exist another free ...

**1**

vote

**1**answer

169 views

### an elementary substructure of a natural numbers ultrapower

Hi
I'm looking for an elementary substructure of a natural numbers ultrapower with a free ultrafilter over a numerable set also must not be isomorphism between the elementary substructure and any ...

**2**

votes

**1**answer

144 views

### Whether the result that an ultraproduct which satisfies ACCP is automatically a field generalizes to ultrafilters on larger indexing sets

Let $F$ be an ultrafilter on some set $X$, $R$ an integral domain and $R_F$ the resulting ultraproduct ring. For an element $(a)$ in the product ring of $R$ indexed by $X$, denote its equivalence ...

**5**

votes

**1**answer

420 views

### An Extender is a Generalization of an Ultrafilter?

I'm not sure whether this belongs here or on math stackexchange, but I'll give a try here.
I've heard that an extender is a generalization of an ultrafilter. This is not to say that an ultrafilter ...

**3**

votes

**1**answer

153 views

### cardinality of local bases in the non-standard reals

Given a index set $S$ together with a ultrafilter $\mu$ on $S$ (such that no set of cardinality $< |S|$ has measure $1$). Let the ordered field $\mathbb{R}(S,\mu)$ denote the ultrapower of ...

**4**

votes

**1**answer

277 views

### What is known about the ultra-inverse limit?

Given a nonprincipal ultrafilter $\mu$ on $\mathbb{N}$ and a sequence of groups $G_i$, one can define its ultraproduct as:
$$ ^*\prod_{i\in \mathbb{N}}G_i:=\{(x_i)_{i \in \mathbb{N}}| x_i\in ...