Listas de forcing


11
views
0
18 days ago by
Agora temos listas de forcing. Ainda está bem no começo, mas acho que já dá para se divertir um pouco. A primeira, com a ideia do motivo pelo qual a coisa toda funciona, é essa aqui: http://conteudo.icmc.usp.br/pessoas/aurichi/exerc/doku.php?id=lista:ideiageralforcing

Lá está escrito que é bom ter feito alguma lista de axioma de Martin antes, mas, para o que tem por enquanto, nem precisa (só vai entrar na próxima lista). 

Quem der uma olhada e tiver alguma sugestão / dúvida, pode deixar aqui.

Share this question


Similar posts:
Search »