Talvez esta página ajude:

Topologia e conjuntos em exercícios.

Material do seminário do Dione:

dione.pdf

Material do seminário do Renan:

renan.pdf

Notas dos exercícios (sempre tente confirmar se as suas estão certas)

notasex.pdf

Alguns axiomas

Indução, recursão e algumas observações sobre escolhas.

Todo espaço vetorial admite base implica axioma da escolha e primeiras noções de cardinalidade.

Uma aplicação com circunferências e o começo dos ordinais.

Indução e recursão sobre ordinais. Um pouco de topologia sobre os ordinais.

Ranking e universo. Final das equivalências do axioma da escolha.

Cardinais e um pouco de aplicações.

Cofinalidade, famílias ilimitadas e famílias dominantes.

Alguns exemplos com números reais.

Algumas funções envolvendo $\omega_1$.

Teorema de Ramsey

Filtros

Algumas aplicações coloridas

Um pouco de $\beta \omega$

Axioma de Martin

Uma aplicação lúdica

A volta dos pequenos cardinais

A hipótese de Suslin

Produto de espaços ccc

Forcing