Pois é, não sei se as coisas dele são estritamente aritméticas... Estou
tentando com eqs diofantinas, mas tá difícil. Essas coisas existem graças a
um teorema que, p.e., tem no Rogers.
Obrigado pelo retorno, Samuel.
2016-08-18 23:52 GMT-03:00 'Samuel Gomes' via LOGICA-L <
Preciso de um exemplo explícito de uma sentença estritamente aritmética que
seja independente de ZFC + algum grande cardinal. Alguém tem esse exemplo?
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar