Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Pessoal Lembrem que se eliminarmos o axioma do infinito de ZF, fica equivalente a PA. Isso tá no livro do Kunen mais recente. Doria, sabe disso, não? D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-990 Florianópolis, SC --

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Décio. Fantástico! V me passaa referência completa? []s Marcelo 2010/8/4 Decio Krause : > Pessoal > Lembrem que se eliminarmos o axioma do infinito de ZF, fica equivalente a > PA. Isso tá no livro do Kunen mais recente. > Doria, sabe disso, não? > D. > > > Deci

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Sei. Kunen, Set Theory, ed. 1983. 2010/8/4 Decio Krause > Pessoal > Lembrem que se eliminarmos o axioma do infinito de ZF, fica equivalente a > PA. Isso tá no livro do Kunen mais recente. > Doria, sabe disso, não? > D. > > > Decio Krause > Departamento de Filoso

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um deslize acerca dos modelos não standard

Doria, Marcelo Refiro-me ao livro do Kunen "The Foundations of Mathematics", baixável pela gigapedia (Arthur certamente tem). Tá num exercício, mas tenho que achar pois não me lembro direito (não mexo com essas coisas com muito detalhe). Talvez alguém na lista saiba mais e melhor... D. ___

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Decio, obrigada, eu nao sabia. Mas tem resultado equivalent pra teorias intuitionisticas, isto e', IZF sem axioma do infinito= HA (Heyting arithmetic)? Samuel, obrigada pelos links. tem "resumo executivo" do folklore? []s valeria ps a ultima frase do abstract do primeiro link que o Samuel mandou "p

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Caros colegas: Trata-se do livro “The Foundations of Mathematics”, de Kenneth Kunen, publicado em 2009. Está disponível no sítio Gigapedia, no formato djvu. Segue o prefácio do mesmo: “This book grew out of some notes for a beginning one semester graduate level course in logic at the Unive

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Oi Valéria, Nao conheco um tal "resumo executivo" nao... O que acho que esse exercício do Kunen diz e que o Décio lembrou é que PA e a Teoria dos Conjuntos Finitos sao equiconsistentes. Deve ser algo como interpretar divisibilidade como pertinência ou algo assim. Nao conheco essa tal "bi-in

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

oi Samuel, obrigada! 'e, equiconsistencia e bi-interpretabilidade sao bem diferentes mesmo. valeria 2010/8/4 : > Oi Valéria, > > Nao conheco um tal "resumo executivo" nao... > > O que acho que esse exercício do Kunen diz e que o Décio lembrou é que PA e > a Teoria dos Conjuntos Finitos sao equic

[Logica-l] Volumes 1 e 2 de Principia: Newton 80anos

Caros todos Saiu o segundo volume de Principia homenageando os 80 anos do Prof. Newton da Costa, que pode ser visto em http://www.cfh.ufsc.br/~principi/olvol133.html O volume 1 está em http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html e o terceiro está em preparo. Abraços, Décio _

Re: [Logica-l] Volumes 1 e 2 de Principia: Newton 80anos

Caro Décio: Parabéns pelo trabalho! Itala > Caros todos > Saiu o segundo volume de Principia homenageando os 80 anos do Prof. > Newton da Costa, que pode ser visto em > http://www.cfh.ufsc.br/~principi/olvol133.html > O volume 1 está em http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html > e o terc