Azriel Lévy - Azriel Lévy
Azriel Lévy ( hebraico : עזריאל לוי; nascido em 1934) é um matemático israelense , lógico e professor emérito da Universidade Hebraica de Jerusalém .
Biografia
Lévy obteve seu Ph.D. na Universidade Hebraica de Jerusalém em 1958, sob a supervisão de Abraham Fraenkel e Abraham Robinson . Usando o método de forçar de Cohen , ele provou vários resultados sobre a consistência de várias declarações que contradizem o axioma da escolha . Por exemplo, com JD Halpern ele provou que o teorema do ideal primo Booleano não implica o axioma da escolha. Ele descobriu os modelos L [ x ] usados na teoria do modelo interno . Ele também introduziu as noções de hierarquia de Lévy das fórmulas da teoria dos conjuntos , o colapso de Levy e o modelo Feferman-Levy .
Seus alunos incluem Dov Gabbay , Moti Gitik e Menachem Magidor .
Trabalhos selecionados
- Lévy, Azriel (1958). "A independência de várias definições de finitude" (PDF) . Fundamenta Mathematicae . 46 : 1-13.
- A. Lévy: Uma hierarquia de fórmulas na teoria dos conjuntos , Memoirs of the American Mathematical Society, 57 , 1965.
- JD Halpern, A. Lévy: The Boolean prime ideal teorema não implica o axioma da escolha, Axiomatic Set Theory , Symposia Pure Math., 1971, 83-134.
- A. Lévy: Basic Set Theory , Springer-Verlag, Berlin, 1979, 391 páginas; reimpresso por Dover Publications, 2003.
Notas
Referências
- Kanamori, Akihiro (2006). "Levy e teoria dos conjuntos" (PDF) . Annals of Pure and Applied Logic . 140 : 233–252. doi : 10.1016 / j.apal.2005.09.009 . Zbl 1089.03004 . Arquivado do original (PDF) em 20/10/2016 . Página visitada em 2008-07-07 .
links externos