If $\alpha$ is a (limit) ordinal, then a subset $S\subseteq\alpha$ is club if $\alpha$ is closed as a subset of $\alpha$ under the order topology and unbounded in $\alpha$. The set of all sets containing a club forms a filter on the subsets of $\alpha$, called the club filter. 


This definition can be extended in the following way. Let $C$ be any infinite set, and let $P$ be the set of all countable subsets of $C$. Then $S\subseteq P$ is club if $S$ is closed under unions of countable chains (closed), and for all $X\in P$, there is some $Y\in S$ with $X\subseteq Y$ (unbounded).


(One area where this notion of clubness appears is in proofs of a Lowenheim-Skolem theorem for infinitary logic; see e.g. <http://www.math.uic.edu/~marker/dwk.pdf>.)


Given a set $C$, we can take the set of all subsets of $P$ which contain a club (in the generalized sense); call this the club filter on $P$.


My question is: when is the club filter in this latter case an ultrafilter?


If I understand things correctly, there should be no possibility of the club filter being an ultrafilter if we assume AC. However, in the original sense of the word club, the club filter on $\omega\_1$ is an ultrafilter assuming AD, so this leads me to believe that, in ZF + AD, there might be interesting sets $C$ the club filter of which is an ultrafilter. 


In particular, what kinds of choice need to fail at $C$ or $P$ in order for the club filter on $P$ to be an ultrafilter?


I hope this question is meaningful; I don't have much background knowledge of models of set theory in which choice fails.



Generalization of the club filter
Here's a little piece of an answer: Section 3 of Solovay's paper "The independence of DC from AD" (Cabal Seminar 76-77, Springer Lecture Notes in Math 689 (1978) pp. 171-183) has a construction of a normal, countably complete ultrafilter $U$ on the set of countable subsets of the real line. The construction assumes $AD\_{\mathbb R}$, the axiom of determinacy for games in which each move is a real number. The definition of $U$ is that it contains those sets $A$ (of countable sets of reals) for which player II has a winning strategy in the following game. The players alternately choose finite sets of reals, and II wins a play iff the union of the chosen sets is an element of $A$. Looking through the paper rather quickly, I didn't find anything saying whether this $U$ is the club filter, and it's too late in the evening for me to figure it out, but it looks to me as if it has a reasonable chance of being the club filter.


