Sobre bi-interpretações e isomorfismos em modelos de ZF &Cia

[Walter Carnielli]

Caros colegas:

Gostaria de chamar a atenção para o artigo que nosso colega (meu
ex-orientando) Alfredo Freire acaba de submeter com o Joel Hamkins
(Oxford, ex-New York):

J. D. Hamkins and A. R. Freire, “Bi-interpretation in weak set
theories,” Mathematics arXiv, 2020.

Joel comenta as consequências de trabalho em seu blog:
http://jdh.hamkins.org/bi-interpretation-in-weak-set-theories/

Aqui o artigo disponível no Research Gate:

https://www.researchgate.net/publication/338620948_Bi-interpretation_in_weak_set_theories

Quero parabenizar o Alfredo, pelo dinheiro da FAPESP mais bem
empregado numa bolsa BEP. É uma honra saber que tudo começou em seu
Doutorado aqui no CLE/Unicamp; seu trabalho é uma "coroação" das
noções de tradução quando levadas a modelos de ZFC, ZFC-, etc.

Alfredo não ficou passeando (muito) em New York...

Abs,
Walter



--
-----------------------------------------------
Walter Carnielli
https://waltercarnielli.com/

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

CV Lattes : http://lattes.cnpq.br/1055555496835379

[Rodrigo Freire]

Ótima trabalho Alfredo!


> Em 16 de jan de 2020, à(s) 18:46, Walter Carnielli <walter.c...@gmail.com> escreveu:
>
> Caros colegas:

> --
> 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PnYFp3-J5Z3vi1zJTzC%2B2haPOhqiBMRAM%3Dst7eO6ZveA%40mail.gmail.com.

[Alfredo Roque Freire]

Professores Walter e Rodrigo,

muito obrigado.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3877124D-F138-4A22-A4D0-9AC6FC079E65%40gmail.com.

--

Alfredo Roque Freire