Adquiri o livro recente do Daniel Lascar "La théorie des modèles en peu de maux" (Intraduisible: a teoria dos modelos empoucadora?) Cassini, Paris, 343 paginas. Excellente livro sobre teoria dos modelos centrado na nocao de definissabilidade no espirito do artigo do Alfred Tarski, Sur les ensembles définissables de nombres réels Fund Math, 1931 disponivel no site Polska Biblioteka Wirtualna Nauki: http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=17
Lascar grande especialisto mundial de teoria dos modelos foi meu professor na Universidade de Paris 7 onde estudei logica matematica. Na epoca tinha la no departamento de matematica uma grande concentracao de logicos Krivine, Girard, Dickmann, Ressayre, etc A logica matematica se desenvolveu na França a partir da vinda do Kreisel com eu lembro no meu artigo "Badiou et les modèles" disponivel no meu website onde eu conto tambem como os eventos de Maio 1968 começaram com uma palestra do Badiou o dia 29 de abril de 1968 as 18h sobre teoria dos modelos na escole normale frente a 400 pessoas. http://www.jyb-logic.org/papers/Badioum.pdf o artigo tem muitos fotos ineditas _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l