Skip to main content
added 470 characters in body
Source Link
Boaz Tsaban
  • 3.1k
  • 23
  • 35

(Joint question with Piotr Szewczak.)

Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

For natural numbers $m<n$, let $[m,n]:=\{m,m+1,\dots,n\}$.

The question. Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?

Update. Blass and Brian provide below examples that are ultrafilters under finite-to-one maps. Our research developed in the meanwhile to see that we need examples that cannot be mapped to the Frechet filter or an ultrafilter by a finite-to-one function. Consistently, as Blass points out, there are no such examples (Filter Dichotomy), so the question is, for example, what can be said if CH holds? More concretely, how prevalent are such examples under CH? Are there "important" examples (i.e., not ones cooked up by transfinite induction for the purpose of the question).

Any other axioms relevant for a positive answer?

(Joint question with Piotr Szewczak.)

Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

For natural numbers $m<n$, let $[m,n]:=\{m,m+1,\dots,n\}$.

The question. Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?

(Joint question with Piotr Szewczak.)

Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

For natural numbers $m<n$, let $[m,n]:=\{m,m+1,\dots,n\}$.

The question. Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?

Update. Blass and Brian provide below examples that are ultrafilters under finite-to-one maps. Our research developed in the meanwhile to see that we need examples that cannot be mapped to the Frechet filter or an ultrafilter by a finite-to-one function. Consistently, as Blass points out, there are no such examples (Filter Dichotomy), so the question is, for example, what can be said if CH holds? More concretely, how prevalent are such examples under CH? Are there "important" examples (i.e., not ones cooked up by transfinite induction for the purpose of the question).

Any other axioms relevant for a positive answer?

added 113 characters in body
Source Link
Boaz Tsaban
  • 3.1k
  • 23
  • 35

(Joint question with Piotr Szewczak.)

Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

For natural numbers $m<n$, let $[m,n]:=\{m,m+1,\dots,n\}$.

The question. Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?

(Joint question with Piotr Szewczak.)

By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?

(Joint question with Piotr Szewczak.)

Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

For natural numbers $m<n$, let $[m,n]:=\{m,m+1,\dots,n\}$.

The question. Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?

Source Link
Boaz Tsaban
  • 3.1k
  • 23
  • 35

A property of the Frechet filter and every ultrafilter

(Joint question with Piotr Szewczak.)

By filter we mean a filter on $\omega$ containing the cofinite sets at least.

For a filter $\mathcal{F}$, let $\mathcal{F}^+:=\{A\subseteq\omega : A^c\notin \mathcal{F}\}$.

For an infinite set $A\subseteq\omega$ and a natural number $n$, define $\mathrm{next}(A,n)=\min\{k\in A:n<k\}$.

Which filters $\mathcal{F}$ we have the following property?

  • For each $A\in \mathcal{F}^+$ and all $B\in \mathcal{F}$, the set $C := \bigcup\{[n,\mathrm{next}(A,n)] : n \in A\cap B\}$ is in $\mathcal{F}$.

The Frechet filter (of all cofinite sets), and every ultrafilter, have this proeprty.

In particular, are there concrete examples of filters that are not Frechet and not uf (and better not the above under a finite-to-one map) but have this property?