Ultrafilter Richness

  • Thread starter BDV
  • Start date
  • #1
BDV
16
0

Main Question or Discussion Point

Hello,

With the axiom of choice, we are left with two options for ultrafilters:
a) principal ultrafilters, built from a singleton {x}.
b) nonpricipal filters of which all contain the cofinite filter, ergo complements of finite sets subalgebras.

Isn't this kind of flimsy? To get to more exotic/exciting objects does one:
give up AC
or
gives up the ultra in ultafilter (the A or X\A is in F condition)?
 

Answers and Replies

  • #2
nomadreid
Gold Member
1,400
131
Why flimsy? For example, using an ultrafilter construction and without abandoning AC, you end up with measurable cardinals, which can do all sorts of interesting things. What sort of "exotic" objects did you have in mind?
 
  • #3
BDV
16
0
I meant more exotic than the principal ultrafilters and complements of finite set subalgebras.

I realized last evening that non-principal ultrafilters may also contain objects with complements greater than finite sets. So there may be some richness right there.

I just wanted to get a good feel of the conceptual reach/limits of ultrafilters before I sink a significant amount of work in them. Ars longa, vita brevis.
 

Related Threads on Ultrafilter Richness

  • Last Post
Replies
4
Views
2K
Replies
4
Views
3K
Replies
8
Views
795
Top