Ferramentas do usuário
dica:qsubmodelr
Verifique o critério de Tarski utilizando que, se $r$ é real e $q_1,\ldots,q_n$ são racionais, então existe um automorfismo $h$ de $(\mathbb{R},<)$ tal que $h(r)$ é racional e $h(q_i)=q_i$ para todo $i \leq n$.
dica/qsubmodelr.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
