Ferramentas do usuário
dica:isomorfismocomq
Dica
Use a enumerabilidade de $X$ para escrever $X = \{a_0,a_1,a_2,a_3,\dots\}$ e construa $f$ recursivamente com base no exercício anterior.
dica/isomorfismocomq.txt · Última modificação: 2020/11/06 16:05 (edição externa)
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
