Ferramentas do usuário
dica:enumfechpro
Essa é uma revisão anterior do documento!
Note que para cada $p' \leq p$ e para cada ordinal $\dot{\alpha}$ escolhido pelo jogador 1, existe uma condição $q \leq p'$ escolhendo um $B$ tal que $q \Vdash \dot{\alpha} = B$.
dica/enumfechpro.1655402048.txt.gz · Última modificação: 2022/06/16 14:54 por mauricio
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
