# Tagged Questions

**2**

votes

**1**answer

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

**7**

votes

**1**answer

191 views

### A special c.c.c forcing notion and adding minimal generic reals

This question is related to my question "Forcing with c.c.c forcing notions, Cohen reals and Random reals".
A natural way to answer Prikry's conjecture is to build a c.c.c. forcing notion which adds ...

**10**

votes

**1**answer

194 views

### Idempotent ultrafilters and the Rudin-Keisler ordering

Short version: what can we say about the place of idempotent ultrafilters in the Rudin-Keisler ordering?
Longer version:
If $U$, $V$ are (nonprincipal) ultrafilters on $\omega$, then we write ...

**1**

vote

**1**answer

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

**1**

vote

**0**answers

100 views

### Compactness-like property for universal generalization?

Hi all! I have the following problem. Suppose I have a sequence of models $M_1,M_2,...$, all of which have the same countable domain (call it $D$). $x_1,x_2,...$ is a well-ordering of $D$. $\phi(x)$ ...

**6**

votes

**1**answer

259 views

### Determinacy and definable ultrafilters

It is a simple consequence of AD that there are no non-principal ultrafilters on $\omega$: for $U$ an ultrafilter on $\omega$, consider the game $G_U$ where players I and II play natural numbers $x_0$ ...

**10**

votes

**1**answer

650 views

### Characterization of Stone-Cech compactifications

Suppose I have an infinite discrete topological space $X$ of cardinality $\kappa$. Then I know some things about the Stone-Cech compactification, $\beta X$: it is Hausdorff and compact but not ...

**8**

votes

**0**answers

449 views

### Existence (or non) of “definable” ultrafilters

This is a question which I suspect has an absurdly easy answer, but I'm not seeing it.
Let $\langle\cdot,\cdot\rangle:\omega^2\rightarrow\omega$ be your favorite pairing map (for me, this is the ...

**4**

votes

**1**answer

277 views

### Lattice of differences between ultrafilters

Consider two ultrafilters, $U$ and $V$, on the same cardinal $\kappa$. Let $D(U, V)=\lbrace X\subseteq \kappa: X\in U-V\rbrace$; clearly $D(U, V)$ is a lattice under $\subseteq, \cap, \cup $ since the ...

**4**

votes

**0**answers

481 views

### Mathias forcing with Ramsey ultrafilters, and Cohen reals [closed]

Edit/update: One reason this question never received an answer is because it was founded on a faulty premise! The Blaszczyk-Shelah paper I mentioned below does not prove that Mathias forcing with a ...

**2**

votes

**2**answers

200 views

### Ultrafilter and contracting maps

I was trying to construct some element with specific properties in an ultraproduct and it boils down to a question which seems relatively natural but leaves me perfectly clueless.
...

**5**

votes

**1**answer

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

**4**

votes

**2**answers

762 views

### Are all countable, nonstandard models of arithmetic given by ultrapowers?

Countable models of PA fall into two categories: the standard one $(\omega, S)$ and the nonstandard ones (all the rest). The only way I've seen to construct a nonstandard model is through taking an ...

**9**

votes

**3**answers

706 views

### A unique ultrafilter extending a union of filters?

Original Question:
Let $\mathcal{P}(\omega)/fin$ denote the Boolean algebra formed from $\mathcal{P}(\omega)$ by modding out by the ideal $fin$ of finite subsets of $\omega$. As a first pass at the ...

**1**

vote

**0**answers

197 views

### Defining filters in closure algebras: reference request

A closure algebra C is a boolean algebra B together with a unary closure operator, and additional axioms, the Kuratowski axioms, that the closure operator must satisfy. (The Wikipedia article prefers ...

**19**

votes

**3**answers

1k views

### An ultrafilter is a set of subsets containing exactly one element of each finite partition: reference request

There are probably dozens of ways of defining "ultrafilter". The definition I've seen most often involves first defining "filter", then declaring an ultrafilter to be a maximal filter.
But there's ...

**7**

votes

**2**answers

367 views

### Destroying the P-filter-property

It is known that if a forcing notion is proper, then every P-filter will generate a P-filter in the generic extension (see, e.g., Shelah, Proper and Improper Forcing, VI.5)
On the other hand, if we ...

**4**

votes

**1**answer

617 views

### Questions on ultrafilters

Hi, I know that there are models in ZFC where don't exist p-points, but I can't find (neither on internet) a proof that I understand, some of you could help me please?
Another question: I know that ...

**9**

votes

**2**answers

538 views

### “Probabilistic ultrafilters?”

A naive question.
Let $S$ be a set and let $[0,1]^S$ the set of functions from $S$ to the closed interval $[0,1]$.
Suppose given some function $P \colon [0,1]^S \to [0,1]$ satisfying the following ...

**7**

votes

**3**answers

703 views

### Construction of a maximal ideal

Hello,
Let R denote the ring of continuous functions defined on the real line, let I in R be the ideal consisting of functions with compact support. Obviously, I is not maximal, and by Zorn's Lemma ...

**4**

votes

**1**answer

355 views

### Which properties of ultrafilters on countable sets hold for filters in general?

Background/motivation: I'm investigating the construction of models for a first-order modal system (S5) as products of classical models. Since ultraproducts are all classical models and I need ...

**4**

votes

**1**answer

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

**18**

votes

**8**answers

2k views

### Connections between ultrafilters in topology and logic

I have a some-what vague question. It seems to me that there are two main ways in which ultrafilters (on a set) can be used. One is in topology. The notion of an ultrafilter converging to a point is ...

**12**

votes

**2**answers

781 views

### Ultrafilters arising from Keisler-Shelah ultrapower characterisation of elementary equivalence

In model theory, two structures $\mathfrak{A}, \mathfrak{B}$ of identical signature $\Sigma$ are said to be elementarily equivalent ($\mathfrak{A} \equiv \mathfrak{B}$) if they satisfy exactly the ...

**1**

vote

**3**answers

277 views

### Ultrafilters containing the image of a filter

Suppose $f:X \to Y$ is a map of sets and $F$ a filter on $X$ such that its image filter is contained in an ultrafilter $G$ on $Y$. Can I find an ultrafilter $H$ on $X$ whose image is $G$?
If this ...

**112**

votes

**0**answers

9k views

### Ultrafilters and automorphisms of the complex field

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that ...

**24**

votes

**2**answers

2k views

### “Transitivity” of the Stone-Cech compactification

Let $\beta \mathbb{N}$ be the Stone-Cech compactification of the natural numbers $\mathbb{N}$, and let $x, y \in \beta \mathbb{N} \backslash \mathbb{N}$ be two non-principal elements of this ...

**11**

votes

**3**answers

1k views

### Non-principal ultrafilters on ω

I thought I had heard or read somewhere that the existence of a non-principal ultrafilter on $\omega$ was equivalent to some common weakening of AC. As I searched around, I read that this is not the ...

**3**

votes

**2**answers

299 views

### Definition modifications without choice

What definitions or equivalencies between definitions for standard set theory objects (such as large cardinals) do not hold or do not carry through in the expected manner to the world without choice? ...

**8**

votes

**1**answer

506 views

### Controlling Ultrapowers

Say I start with some a transitive model of a large fragment of ZFC (say enough to run Łoś' Theorem externally) and a specific set x∈M. Now let's say I'm going to pick some M-ultrafilter U on x. ...