stringtranslate.com

Йоуко Вяянянен

Йоуко Антеро Вяэнянен (родился 3 сентября 1950 года в Рованиеми , Лапландия ) [1] — финский математический логик, известный своим вкладом в теорию множеств , [2] [3] [4] [5] теорию моделей , [6] [7] [8] логику [9] [10] [11] и основания математики . [5] [12] Он занимал должность проректора в Хельсинкском университете , [13] и профессора математики в Хельсинкском университете, а также профессора математической логики и оснований математики в Амстердамском университете . [14] [15] Он закончил докторскую диссертацию в Манчестерском университете под руководством Петера Ацеля в 1977 году, защитив докторскую диссертацию под названием «Применение теории множеств к обобщенным квантификаторам». [16] Он был избран в Финскую академию наук и литературы в 2002 году. [17] Он был членом Сената Хельсинкского университета с 2004 по 2006 год и казначеем Европейского математического общества с 2007 по 2014 год, [18] а также казначеем Европейского общества теории множеств [19] с 2012 года. Йоуко Вяянянен получил премию Фонда Магнуса Эрнрута по математике 29 апреля 2024 года. [20]

Публикации

Книги

Смотрите также

Ссылки

  1. ^ "CURRICULUM'VITAE." http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf. Кафедра математики и статистики Хельсинкского университета, ФИНЛЯНДИЯ. Веб. 20 марта 2014 г. <http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf>.
  2. ^ J. Väänänen, Теоретико-множественная определимость логик. В J. Barwise и S. Feferman , редакторы, Model Theoretic Logics, страницы 599-643, Springer, 1985.
  3. ^ J. Stavi и J. Väänänen, Принципы отражения для континуума. Логика и алгебра, ред. Yi Zhang, стр. 59-84, Contemporary Mathematics, т. 302, AMS, 2002.
  4. ^ М. Дзамонья и Й. Вяэнянен, Семейство деревьев без несчетных ветвей, Топологические труды, т. 28:1, 2004, 113-132.
  5. ^ ab J. Väänänen, Логика второго порядка или теория множеств?, Bulletin of Symbolic Logic , 18(1), 91-121, 2012.
  6. ^ Й. Вяэнянен, Булевозначные модели и обобщенные кванторы, Annals of Mathematical Logic, 79, страницы 193-225, 1980.
  7. ^ Т. Хюттинен и Й. Вяэнянен, О деревьях Скотта и Карпа несчетных моделей, Журнал символической логики 55(3):897-908, 1990.
  8. ^ ab J. Väänänen, Models and Games, Cambridge Studies in Advanced Mathematics (№ 132) Cambridge University Press, 2011, стр. 380.
  9. ^ ab J. Väänänen, Dependence Logic, London Mathematical Society Student Texts (№ 70) Cambridge University Press, 2007, стр. 240.
  10. ^ М. Магидор и Й. Вяэнянен, О числах Лёвенгейма-Скулема-Тарского для расширений логики первого порядка, Журнал математической логики , 11(1), 87-113, 2011.
  11. ^ Э. Грэдель и Й. Вяэнянен, Зависимость и независимость, Studia Logica : Том 101, Выпуск 2 (2013), стр. 233-236.
  12. ^ Й. Вяэнянен, Логика второго порядка и основания математики, Бюллетень символической логики, том 7, выпуск 4, декабрь 2001 г.
  13. ^ Профессор Йоуко Вяэнянен назначен проректором Хельсинкского университета.
  14. ^ Йоуко Вяэнянен из Хельсинкского университета
  15. ^ Йоуко Вяэнянен из Амстердамского университета
  16. ^ "Применение теории множеств к обобщенным квантификаторам". Архивировано из оригинала 2012-12-23 . Получено 2013-06-05 .
  17. ^ Члены Финской академии наук и литературы. Архивировано 07.10.2015 на Wayback Machine.
  18. ^ Исполнительный комитет EMS
  19. ^ Европейское общество теории множеств
  20. ^ Премия Фонда Магнуса Эрнрута профессору Йоуко Вяэнянен

Внешние ссылки