Saltar para o conteúdo

Michael Makkai: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
Kaktus Kid (discussão | contribs)
Novo artigo, trad. en.wiki
(Sem diferenças)

Revisão das 00h14min de 12 de agosto de 2016

Michael Makkai (em húngaro: Makkai Mihály; Budapeste, Hungria, 24 de junho de 1939) é um matemático canadense de origem húngara, especialista em Lógica matemática.[1]

Trabalha com teoria dos modelos, teoria das categorias, lógica algébrica e teoria de topoi. Graduado pela Universidade Eötvös Loránd, Budapeste, trabalhando depois no Instituto de Matemática Alfréd Rényi da Academia de Ciências da Hungria. Obteve um doutorado em 1966, orientado por Rózsa Péter e Andrzej Mostowski.[2][3] Entre 1974 e 2010 foi professor de matemática da Universidade McGill. Aposentou-se em 2010. É membro externo da Academia de Ciências da Hungria (1995).

Com Leo Harrington e Saharon Shelah provou a conjectura de Vaught para teorias ω-estáveis.

Publicações selecionadas

  • M. Makkai, G. E. Reyes: First Order Categorical Logic, Lecture Notes in Mathematics, 611, Springer, 1977, viii+301 pp.[4]
  • L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel J. Math., 49(1984), 259–280.
  • Michael Makkai, Robert Paré: Accessible categories: the foundations of categorical model theory. Contemporary Mathematics, 104. American Mathematical Society, Providence, RI, 1989. viii+176 pp. ISBN 0-8218-5111-X
  • M. Makkai: Duality and Definability in First Order Logic, Memoirs of the American Mathematical Society, 503, 1993, ISSN 0065-9266

Referências

  1. Benthem, Johan Van; Heinzmann, Gerhard; Rebuschi, Manuel; Henk Visser (14 de novembro de 2006). The age of alternative logics: assessing philosophy of logic and mathematics today. [S.l.]: Springer. pp. 182–. ISBN 978-1-4020-5011-4. Consultado em 28 June 2011  Verifique data em: |acessodata= (ajuda)
  2. Michael Makkai (em inglês) no Mathematics Genealogy Project
  3. «Makkai's CV at his McGill University Homepage» (PDF) 
  4. Monk, J. D. (1978). «Review: First order categorical logic by Michael Makkai and Gonzalo E. Reyes» (PDF). Bull. Amer. Math. Soc. 84 (6): 1378–1380. doi:10.1090/s0002-9904-1978-14587-x 

Ligações externas

  • Makkai's homepage at the Hungarian Academy of Sciences
  • Makkai's homepage at McGill University