"The axiom of well-ordered replacement is equivalent to full replacement over Zermelo + foundation"

[Walter Carnielli]

Car@s:

Gostaria de parabenizar aqui mais uma vez meu estudante Alfredo
Freire que está cumprindo uma bolsa de Doutorado-Sanduíche na CUNY em
Nova Iorque.

Alfredo acaba de ser (muito positivamente) mencionado numa postagem
pelo Joel David Hamkins da CUNY a respeito do seguinte tópico:

"The axiom of well-ordered replacement is equivalent to full
replacement over Zermelo + foundation"

Leiam detalhes aqui:
http://jdh.hamkins.org/replacement-for-well-ordered-sets-is-equivalent-to-full-replacement/

Aproveito para parabenizar e agradecer o agora colega Rodrigo Freire
(ex-orientando) que ajudou a suprir as sólidas bases da formação do
Alfredo.

Abraços,

Walter

--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil


http://www.cambridge.org/br/academic/subjects/philosophy/twentieth-century-philosophy/significance-new-logic?format=HB&isbn=9781107179028


Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
CV Lattes : http://lattes.cnpq.br/1055555496835379

[Rodrigo Freire]

Parabéns Alfredo, realmente representando muito bem a modesta mas séria pesquisa em teoria de conjuntos pura que tentamos fazer aqui no Brasil. Não há muito tempo essa área andava completamente parada por aqui, só havia atividade de pesquisa (de muita qualidade, diga-se) em teoria de conjuntos aplicada.
Parabéns novamente.

Abraço
Rodrigo

> --
> 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+u...@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/CA%2Bob58Orx54cDOoaQcLmNwNzr-B9YMSJURP53A6OqwyXFPPeMA%40mail.gmail.com.

[Itala M. Loffredo D'Ottaviano]

Caro Alfredo:
Meus cumprimentos, que alegria para nós todos!
Itala

> Car@s:
>
> Gostaria de parabenizar aqui mais uma vez meu estudante Alfredo

> Freire que está cumprindo uma bolsa de Doutorado-Sanduíche na CUNY em

> Nova Iorque.
>
> Alfredo acaba de ser (muito positivamente) mencionado numa postagem

> pelo Joel David Hamkins da CUNY a respeito do seguinte tópico:

>
> "The axiom of well-ordered replacement is equivalent to full
> replacement over Zermelo + foundation"
>
> Leiam detalhes aqui:
> http://jdh.hamkins.org/replacement-for-well-ordered-sets-is-equivalent-to-full-replacement/
>
> Aproveito para parabenizar e agradecer o agora colega Rodrigo Freire

> (ex-orientando) que ajudou a suprir as sólidas bases da formação do
> Alfredo.
>
> Abraços,

>
> Walter
>
> --
> -----------------------------------------------
> Walter Carnielli
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy

> State University of Campinas –UNICAMP

> 13083-859 Campinas -SP, Brazil
>
>
> http://www.cambridge.org/br/academic/subjects/philosophy/twentieth-century-philosophy/significance-new-logic?format=HB&isbn=9781107179028
>
>
> Institutional e-mail: walter.c...@cle.unicamp.br
> Website: http://www.cle.unicamp.br/prof/carnielli
> CV Lattes : http://lattes.cnpq.br/1055555496835379
>

> --
> 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+u...@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/CA%2Bob58Orx54cDOoaQcLmNwNzr-B9YMSJURP53A6OqwyXFPPeMA%40mail.gmail.com.
>


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ITALA M. LOFFREDO D'OTTAVIANO
Full Professor of Logic and the Foundations of Mathematics
Centre for Logic, Epistemology and the History of Science - CLE
University of Campinas - UNICAMP
Sergio Buarque de Holanda, 251 Street
ZIP CODE 13083-859 - Campinas-SP, Brazil
Tel.:+55–19-3521-6517
www.cle.unicamp.br

[Alfredo Roque Freire]

Obrigado, professores. Sinto-me honrado de ser representante da nossa modesta pesquisa em teoria de conjuntos pura.

Abraço

--
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+u...@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/e4984a134cf3af6c1fc9a53c56bbde27.squirrel%40www.cle.unicamp.br.

[Samuel Gomes]

... Sensacional Alfredo,

Espero que você possa apresentar seus resultados aqui em Salvador quando possível ! Estamos todos muito felizes com o seu trabalho.

Até mais,

[]s  Samuel