Skip to main content
Included the title of the linked paper
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

It is consistent that all ultrafilters are the same in the following sense: for any free ultrafilters $\mathcal U,\mathcal V$ on $\omega$ there exists a finite-to-one map $f:\omega\to\omega$ such that $f(\mathcal U)=f(\mathcal V)$. The latter statement is called NCF, the Near Coherence of Filters. In some situation it is very helpful principle. It has been thoroughly studied by Andreas Blass, see his papers: II, IIII, IIIIII.

It is consistent that all ultrafilters are the same in the following sense: for any free ultrafilters $\mathcal U,\mathcal V$ on $\omega$ there exists a finite-to-one map $f:\omega\to\omega$ such that $f(\mathcal U)=f(\mathcal V)$. The latter statement is called NCF, the Near Coherence of Filters. In some situation it is very helpful principle. It has been thoroughly studied by Andreas Blass, see his papers: I, II, III.

It is consistent that all ultrafilters are the same in the following sense: for any free ultrafilters $\mathcal U,\mathcal V$ on $\omega$ there exists a finite-to-one map $f:\omega\to\omega$ such that $f(\mathcal U)=f(\mathcal V)$. The latter statement is called NCF, the Near Coherence of Filters. In some situation it is very helpful principle. It has been thoroughly studied by Andreas Blass, see his papers: I, II, III.

Source Link
Taras Banakh
  • 41.8k
  • 3
  • 74
  • 183

It is consistent that all ultrafilters are the same in the following sense: for any free ultrafilters $\mathcal U,\mathcal V$ on $\omega$ there exists a finite-to-one map $f:\omega\to\omega$ such that $f(\mathcal U)=f(\mathcal V)$. The latter statement is called NCF, the Near Coherence of Filters. In some situation it is very helpful principle. It has been thoroughly studied by Andreas Blass, see his papers: I, II, III.