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

2010-10-01 Por tôpico Itala M. L. D'Ottaviano
Caro Samuel:

Com muita alegria, meus parabéns!

Abraço,

da Itala
> Caros,
>
> Tenho o prazer de anunciar que o número de matemáticos brasileiros com
> equivalências originais para o Axioma da Escolha acaba de subir de
> dois para quatro*...
>
> Acabo de receber o aceite de um artigo no periódico Acta Mathematica
> Hungarica,
> em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de
> mestrado na
> UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao
> de mestrado continha uma nova equivalência para o Axioma da Escolha.
>
> A nova proposicao equivalente ao Axioma da Escolha é:
>
> Se um produto cartesiano de uma família de conjuntos é fechado num
> produto topológico (de Tychonoff), entao pelo menos um dos fatores é
> fechado.
>
>
> * Os dois matemáticos brasileiros a que me refiro sao Edison Farah e
> Ofélia Teresa Alas, da USP.
>
> Abracos a todos,
>
> []s  Samuel
>
>
>
>
>
>
> 
> 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/listinfo/logica-l
>


++
Itala M. L. D'Ottaviano
Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas - UNICAMP
P.O. Box 6133
13083-970 - Campinas-SP, Brazil

Fax: +55-19-3289-3269
Tel.:+55–19-3521-6517

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


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

2010-09-29 Por tôpico Claus Akira Horodynski Matsushigue
Parabéns Samuel...

Interessante o resultado.

Talvez fosse interessante pensar um tantinho
no Axioma das escolhas dependentes, que
alguns neo-bourbakistas pensam ser melhor
que o Axioma da escolha puro.  O que acha??


Agraços, Claus


2010/9/29  :
> Caros,
>
> Tenho o prazer de anunciar que o número de matemáticos brasileiros com
> equivalências originais para o Axioma da Escolha acaba de subir de
> dois para quatro*...
>
> Acabo de receber o aceite de um artigo no periódico Acta Mathematica
> Hungarica,
> em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de
> mestrado na
> UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao
> de mestrado continha uma nova equivalência para o Axioma da Escolha.
>
> A nova proposicao equivalente ao Axioma da Escolha é:
>
> Se um produto cartesiano de uma família de conjuntos é fechado num
> produto topológico (de Tychonoff), entao pelo menos um dos fatores é
> fechado.
>
>
> * Os dois matemáticos brasileiros a que me refiro sao Edison Farah e
> Ofélia Teresa Alas, da USP.
>
> Abracos a todos,
>
> []s  Samuel
>
>
>
>
>
>
> 
> 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/listinfo/logica-l
>
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


[Logica-l] Nova equivalência para o Axioma da Es colha

2010-09-29 Por tôpico samuel
Caros,

Tenho o prazer de anunciar que o número de matemáticos brasileiros com  
equivalências originais para o Axioma da Escolha acaba de subir de  
dois para quatro*...

Acabo de receber o aceite de um artigo no periódico Acta Mathematica  
Hungarica,
em co-autoria com Joao Paulo Cirineu de Jesus, que foi meu aluno de  
mestrado na
UFBA (e atualmente é doutorando na USP). Uma parte de sua dissertacao  
de mestrado continha uma nova equivalência para o Axioma da Escolha.

A nova proposicao equivalente ao Axioma da Escolha é:

Se um produto cartesiano de uma família de conjuntos é fechado num  
produto topológico (de Tychonoff), entao pelo menos um dos fatores é  
fechado.


* Os dois matemáticos brasileiros a que me refiro sao Edison Farah e  
Ofélia Teresa Alas, da USP.

Abracos a todos,

[]s  Samuel







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/listinfo/logica-l