Caros,
Sobre a mensagem do Miraglia sobre a homenagem à Ofelia Alas: não é
verdade que lógicos não possam participar...
- Na STW passada, em Salvador (agora, no início de 2012), tivemos a
presença do Andrés Villaveces, da Colombia, que deu uma palestra muito
interessante sobre, digamos, forcing sobre espaços topológicos (uma
generalização, portanto, do forcing sobre ordens parciais, que no
final trabalhamos com abertos regulares da topologia natural definida
nessas ordens), relação disso com feixes e etc... Ou seja, é Lógica
mas com aplicações diretas em Topologia e Teoria dos Conjuntos.
Depois desse evento em Salvador, e tendo conhecido mais a fundo o
pessoal da Colômbia - além do Andrés Villaveces, Ramiro de la Vega
também esteve aqui -, e além de outros contatos com o pessoal de
Lógica de Bogotá (sempre converso muito com o Pedro Zambrano), temos
muito contato com di Prisco na Venezuela, então acredito que sempre
haverá um espaço para a Lógica fortemente ligada a conjuntos e
topologia no nosso evento, e obviamente, não só para lógicos
colombianos e venezuelanos - lógicos brasileiros serão muuuuuito bem
vindos !!!
Perguntem a Valeria de Paiva: ela esteve aqui também na STW 2012, e
estamos trabalhando com algumas relações entre combinatória
infinitária e certas categorias.
(Inclusive, Miraglia, se você encontrar a Lucia Junqueira aí pelo
IME/USP vocês podem conversar mais sobre colaborações suas ao evento !)
... De modo que trabalhos de Lógica que tenham grande intersecção com
(ou aplicações em) Teoria dos Conjuntos e Topologia Geral fazem parte
do escopo do evento.
Até mais,
[]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
