Йоуко Вяэнянен - Jouko Väänänen
 | Этот биография живого человека требует дополнительных цитаты за проверка. (Январь 2014) (Узнайте, как и когда удалить этот шаблон сообщения) |
Йоуко Антеро Вяэнянен | |
|---|---|
| Родившийся | 3 сентября 1950 г. |
| Альма-матер | Манчестерский университет |
| Научная карьера | |
| Тезис | Приложения теории множеств к обобщенным кванторам (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]
Смотрите также
Рекомендации
- ^ "БИОГРАФИЯ РЕЗЮМЕ." 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 >.
- ^ Й. Вяэнянен, Теоретико-множественная определимость логик. В Дж. Барвайз и С. Феферман, редакторы, Теоретико-модельная логика, страницы 599-643, Springer, 1985.
- ^ Я. Стави и Я. Вяэнянен, Принципы отражения для континуума. Логика и алгебра, под ред. И Чжан, стр. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002.
- ^ М. Джамоня и Я. Вяэнянен, Семейство деревьев без бесчисленных ветвей, Топология Труды т. 28: 1, 2004, 113-132.
- ^ а б Й. Вяэнянен, Логика второго порядка или теория множеств?, Бюллетень символической логики, 18 (1), 91-121, 2012.
- ^ Й. Вяэнянен, Булевозначные модели и обобщенные кванторы, Анналы математической логики, 79, страницы 193-225, 1980.
- ^ Т. Хиттинен и Й. Вяэнянен, О деревьях Скотта и Карпа бесчисленных моделей, Журнал символической логики 55 (3): 897-908, 1990.
- ^ а б Й. Вяэнянен, Модели и игры, Кембриджские исследования в области высшей математики (№ 132) Cambridge University Press, 2011, стр. 380.
- ^ а б Й. Вяэнянен, Логика зависимости, Тексты студентов Лондонского математического общества (№ 70), Cambridge University Press, 2007, стр. 240.
- ^ М. Магидор и Й. Вяэнянен, О числах Левенхайма-Сколема-Тарского для расширений логики первого порядка, Журнал математической логики, 11 (1), 87-113, 2011.
- ^ Э. Грэдель и Й. Вяэнянен, Зависимость и независимость, Studia Logica: Том 101, Выпуск 2 (2013), стр. 233-236.
- ^ Й. Вяэнянен, Логика второго порядка и основы математики, Бюллетень символической логики, том 7, выпуск 4, декабрь 2001 г.
- ^ Профессор Йоуко Вяэнянен назначен проректором Хельсинкского университета.
- ^ Йоуко Вяэнянен из Хельсинкского университета
- ^ Йоуко Вяэнянен из Амстердамского университета
- ^ «Приложения теории множеств к обобщенным кванторам». Архивировано из оригинал на 2012-12-23. Получено 2013-06-05.
- ^ Члены Финской академии наук и литературы В архиве 2015-10-07 на Wayback Machine
- ^ Исполнительный комитет EMS
