В 2019 году он был награжден медалью Хаусдорфа Европейским обществом теории множеств. Награда упомянула три его статьи за работу над «итерацией принуждения с использованием побочных условий и свойств дерева» как наиболее значимый вклад в теорию множеств за предыдущие пять лет. [2]
Избранные публикации
Ниман, Итай (2004), Детерминированность длинных игр , Серия Де Грюйтера в Логике и ее приложениях, т. 7, Берлин: Вальтер де Грюйтер, doi :10.1515/9783110200065, ISBN3-11-018341-2. [8]
Ниман, Итай (2014), «Принуждение с последовательностями моделей двух типов», Notre Dame Journal of Formal Logic , 55 (2): 265– 298, doi :10.1215/00294527-2420666, MR 3201836. Одна из статей, цитируемых для награждения Неемана медалью Хаусдорфа. [2]
Ниман, Итай (2014), «Свойство дерева вплоть до », Журнал символической логики , 79 (2): 429– 459, doi : 10.1017/jsl.2013.25, MR 3224975, S2CID 5950605. Одна из статей, цитируемых для награждения Неемана медалью Хаусдорфа. [2]
Ниман, Итай (2017), «Два применения конечных боковых условий в », Архив математической логики , 56 ( 7– 8): 983– 1036, doi : 10.1007/s00153-017-0550-y, MR 3696074, S2CID 11990342. Одна из статей, цитируемых для награждения Неемана медалью Хаусдорфа. [2]