Preciso de um exemplo

Francisco Antonio Doria

unread,

Aug 18, 2016, 10:46:09 AM8/18/16

to logi...@dimap.ufrn.br

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?

Samuel Gomes

unread,

Aug 18, 2016, 10:52:58 PM8/18/16

to LOGICA-L

Oi Doria,

Não tenho nenhum exemplo a mão mas te pergunto, não é exatamente esse tipo de coisa que o Harvey Friedman faz ?

Abraço,

[]s Samuel

Francisco Antonio Doria

unread,

Aug 19, 2016, 3:59:04 AM8/19/16

to logi...@dimap.ufrn.br

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.

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/76b8fb6d-958e-411e-9862-fb296cc58834%40dimap.ufrn.br.