Йоуко Вяэнянен - Jouko Väänänen

Йоуко Антеро Вяэнянен
Родившийся (1950-09-03) 3 сентября 1950 г. (возраст 70 лет)
Рованиеми, Лапландия
Альма-матерМанчестерский университет
Научная карьера
ТезисПриложения теории множеств к обобщенным кванторам  (1977)
ДокторантПитер Акзель

Йоуко Антеро Вяэнянен (родился 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 года он занимал должность казначея Хельсинкского университета. Европейское математическое общество.[18]

Публикации

Книги

  • Логика зависимости, Издательство Кембриджского университета, 2007.[9]
  • Модели и игры, Cambridge University Press, 2011.[8]

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

Рекомендации

  1. ^ "БИОГРАФИЯ РЕЗЮМЕ." 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. ^ Й. Вяэнянен, Теоретико-множественная определимость логик. В Дж. Барвайз и С. Феферман, редакторы, Теоретико-модельная логика, страницы 599-643, Springer, 1985.
  3. ^ Я. Стави и Я. Вяэнянен, Принципы отражения для континуума. Логика и алгебра, под ред. И Чжан, стр. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002.
  4. ^ М. Джамоня и Я. Вяэнянен, Семейство деревьев без бесчисленных ветвей, Топология Труды т. 28: 1, 2004, 113-132.
  5. ^ а б Й. Вяэнянен, Логика второго порядка или теория множеств?, Бюллетень символической логики, 18 (1), 91-121, 2012.
  6. ^ Й. Вяэнянен, Булевозначные модели и обобщенные кванторы, Анналы математической логики, 79, страницы 193-225, 1980.
  7. ^ Т. Хиттинен и Й. Вяэнянен, О деревьях Скотта и Карпа бесчисленных моделей, Журнал символической логики 55 (3): 897-908, 1990.
  8. ^ а б Й. Вяэнянен, Модели и игры, Кембриджские исследования в области высшей математики (№ 132) Cambridge University Press, 2011, стр. 380.
  9. ^ а б Й. Вяэнянен, Логика зависимости, Тексты студентов Лондонского математического общества (№ 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. ^ Члены Финской академии наук и литературы В архиве 2015-10-07 на Wayback Machine
  18. ^ Исполнительный комитет EMS

внешняя ссылка