Re: [Logica-l] Digest Logica-l, volume 55, assunto 22

escolhas enumeráveis, se nao me engano. Até mais, []s Samuel Quoting logica-l-requ...@dimap.ufrn.br: Enviar submissões para a lista de discussão Logica-l para logica-l@dimap.ufrn.br Para se cadastrar ou descadastrar via WWW, visite o endereço http://www.dimap.ufrn.br/cgi-bin

Re: [Logica-l] Nova equivalência para o Axioma da Escolha

importante lembrar algo que nao é muito citado por aí: é possível indexar uma família com o conjunto vazio: nesse caso, a família indexada é vazia, o produto cartesiano é o unitário do vazio e nao há, obviamente, como definir projecoes. Até, []s Samuel Quoting Carlos Gonzalez gonza

Re: [Logica-l] Digest Logica-l, volume 54, assunto 33

Olá Arthur, É o Set Theory - An Introduction to Independence Proofs. A parte de ordinais está bem feitinha, aliás toda a parte de conjuntos bem ordenados e de isomorfismos de boas ordens. Até, []s Samuel Quoting logica-l-requ...@dimap.ufrn.br: Enviar submissões para a lista de discussão

Re: [Logica-l] Digest Logica-l, volume 54, assunto 31

ou recursao num conjunto qualquer, aí sim é necessário o Axioma da Escolha. Até, []s Samuel Universidade Federal da Bahia - http://www.portal.ufba.br ___ Logica-l mailing list Logica-l

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

http://www.emis.de/journals/CMUC/pdf/cmuc9301/sochor.pdf Até, []s Samuel Quoting Valeria de Paiva valeria.depa...@gmail.com: oi Marcelo, Samuel, Achei interessante a ideia de uma `teoria de conjuntos finitos'. Seria parecida com a teoria de modelos finitos, http://en.wikipedia.org/wiki

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

agradeci também. Vou comentar algo da sua resposta: Quoting Walter Carnielli walter.carnie...@gmail.com: Caro Samuel: o que você  levanta  são  questões  profundamente  interessantes. Envio a voce em separado (parece que a Lista não aceita o arquivo) um prefácio de  Robert Vaught sobre  o

[Logica-l] Prorrogação de Prazo para Inscriç ão - Concurso UFBA

dez meses de pós-doutorado no México, a partir da semana que vem. []s Samuel - Ufba Universidade Federal da Bahia - http://www.portal.ufba.br ___ Logica-l mailing list Logica-l

[Logica-l] Próximo EBL ?

Prezados colegas, Gostaria de saber se alguém pode me informar se existe a previsão de realização de EBL em 2010. Grato, []s Samuel Universidade Federal da Bahia - http://www.portal.ufba.br

[Logica-l] Problemas no webmail da UFBA

respostas não chegaram. Peço desculpas pelo ocorrido. Por favor, quaisquer informações sobre a Semana de Teoria dos Conjuntos e Topologia Geral da Ufba podem ser obtidos, também, em meu email particular samuca_...@yahoo.com.br Novamente, peço mil desculpas pelos transtornos. []s Samuel

[Logica-l] Semana de Teoria dos Conjuntos e Topologia Geral na UFBA

(UFBA) Lúcia Renato Junqueira (University of São Paulo) Charles Morgan (University College London and CMAF, University of Lisbon) Samuel Gomes da Silva (UFBA) There is no registration fee ! If you'd like to participate (or even give a talk), please contact the organizer, Samuel Gomes da Silva

Re: [Logica-l] Digest Logica-l, volume 44, assunto 13

Oi Ruan, Se não me engano, o Adolfo tem um blog que já tem alguns grupos de Lógica ali cadastrados... []s Samuel Citando logica-l-requ...@dimap.ufrn.br: Enviar submissões para a lista de discussão Logica-l para logica-l@dimap.ufrn.br Para se cadastrar ou descadastrar via WWW

[Logica-l] Vagas em Salvador - Perfil

). Muito grato, []s Samuel - UFBA Universidade Federal da Bahia - http://www.portal.ufba.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman

<    1   2   3   4