(Добавить комментарий)

	flying_bear@lj 2006-11-27 20:09 (ссылка)
	Какая тема, если не секрет? (Ответить) (Ветвь дискуссии)

archernikov@lj 2006-11-27 20:15 (ссылка)

Не секрет, конечно. Теория моделей - что-то между математической логикой и алгеброй. Более конкретно: 1) stability and simplicity theory in general 2) interplay of finite and infinite - Fraisse-Hrushovski constructions, pseudofinite structures, stability for finite-variable logic, asymptotics of definable sets and applications of all those in finite model theory 3)models of ZFC. (Ответить) (Уровень выше) (Ветвь дискуссии)

	ex_ex_annut@lj 2006-11-27 21:22 (ссылка)
	в тему недавний разговор летом знакомый подходил к Моше Варди тот если не знает лично студента и результаты отправляет "по общей линии" проходите ТОЕФЛ посылаейте заявку (Ответить) (Уровень выше)

	ex_ex_annut@lj 2006-11-27 21:24 (ссылка)
	могу порекомендовать написать письмо или Фокиону Колаитису или Георгу Готтлобу оба они и могут дельный совет дать, и обычно очень открытые в плане помощи, как-то на мое студенческое письмо разьяснить теорему Готтлоб написал почти две страницы ответа (Ответить) (Уровень выше)

yvk@lj 2006-11-28 10:25 (ссылка)

Спросите http://bbixob.livejournal.com/57410.html?mode=reply В Оксворде есть русский логик. Напишите ему (предварительно переговорис с bbixob). В этом деле главное - оригинальность в работах. Нужно, чтобы кто-нибудь посмотрел и честно сказал - как обстоят дела с этим, да и с общим уровнем по данной специальности. Общая картина - на западе с умными аспирантами туго. Так что шансов - выше крыше. Позиции есть. Зависит от влиятельности персоны с которой вы будете иметь дело. Лучшее - стараться попасть в хорошие места (там тоже непросто с аспирантами, проблема в этих местах другая - получить позицию). Кроме того, хорошо бы иметь рекомендацию, но это не обязательно, по-моему. (Ответить) (Уровень выше) (Ветвь дискуссии)

	ex_ex_annut@lj 2006-11-28 12:03 (ссылка)
	"Общая картина - на западе с умными аспирантами туго." Вспоминается история с еврейским парнем из Бостона который в свои 19 лет имел кажется три статьи в LICS (без соавторов), решив в те годы ряд проблем в теории моделей и логике, которые были открыты 20-30 лет. Его боялись брать в аспиранты, "слишком умный". Сейчас в MIT (Ответить) (Уровень выше) (Ветвь дискуссии)

	bbixob@lj 2006-11-28 13:21 (ссылка)
	а кто это (позор мне, что не знаю) ? (Ответить) (Уровень выше) (Ветвь дискуссии)

	ex_ex_annut@lj 2006-11-28 22:11 (ссылка)
	не помню имени сейчас Марсело А письмо напишу он правда обычно в течение недели отвечает () (Ответить) (Уровень выше) (Ветвь дискуссии)

	bbixob@lj 2006-11-29 10:30 (ссылка)
	наверное, это все-таки не Jacob Lurie, Harvard, PhD from MIT ? http://www.math.harvard.edu/~lurie/ http://ams.math.uni-bielefeld.de/mathscinet/search/publications.html?pg4=AUCN&s4=lurie%2C+jacob&co4=AND&pg5=TI&s5=&co5=AND&pg6=PC&s6=&co6=AND&pg7=ALLF&s7=&co7=AND&Submit=Search&dr=all&yrop=eq&arg3=&yearRangeFirst=&yearRangeSecond=&pg8=ET&s8=All (Ответить) (Уровень выше) (Ветвь дискуссии)

	ex_ex_annut@lj 2006-11-30 15:42 (ссылка)
	http://www.mit.edu/~brossman/ (Ответить) (Уровень выше)

	archernikov@lj 2006-11-28 22:06 (ссылка)
	Да, спасибо за советы! А кого вы имеете в виду, действительно? (Ответить) (Уровень выше) (Ветвь дискуссии)

	ex_ex_annut@lj 2006-11-30 15:45 (ссылка)
	http://www.mit.edu/~brossman/ (Ответить) (Уровень выше)

	ex_ex_annut@lj 2006-11-28 12:23 (ссылка)
	Готтлоб уже в Оксфорде Пару месяц назад он искал профессоров, может студенты тоже нужны (Ответить) (Уровень выше) (Ветвь дискуссии)

	yvk@lj 2006-11-28 13:24 (ссылка)
	Да нужны, наверняка. Причем не обязательно шибко умные, вы правы. Англичане, по-моему, охотно берут русских, учить. Так мне показалось. Умные англичане, в смысле, из хороших мест. Там, по-моему неплохо работается (обстановка), однако жизнь весьма спартанская (дорого все), может быть поэтому и работается хорошо. (Ответить) (Уровень выше)

	bbixob@lj 2006-11-28 10:42 (ссылка)
	а кто Вам может дать рекомендацию, кстати ? Кто из физматклуба Вас знает ? кто из питерских логиков ? кто из бонча ? (Ответить) (Уровень выше) (Ветвь дискуссии)

archernikov@lj 2006-12-07 19:44 (ссылка)

Извините, что долго не отвечал, прояснял этот вопрос. Ситуация у меня конечно ещё та. По науке я, к сожалению, с кем-то контактов на столько не имею, чтобы просить рекомендацию. В Бонче с математикой как-то туго, по-моему. С моего факультета мне конечно напишут хорошую рекомендацию, но это люди от "математического моделирования систем" и чего-то нформационно-технологического. Не уверен, что это будет иметь какой-то смысл в данной ситуации. Извините ещё раз, что посвящаю Вас в свои проблемы. Артём (Ответить) (Уровень выше) (Ветвь дискуссии)

	bbixob@lj 2006-12-11 09:13 (ссылка)
	net, nu chto Wy....A wy sdalawili/poseshali kakie-nibud' kursy na fizmatklube ili matmehe ? (Ответить) (Уровень выше) (Ветвь дискуссии)

archernikov@lj 2006-12-16 11:38 (ссылка)

Честно говоря, только сейчас понимаю свою ошибку. Я как-то не задумывался в необходимости формально подтвердить свою квалификацию и удовлетворялся прослушиванием лекций, без сдачи чего либо. В физматклубе я посещал/посещаю алг. геометрию Смирнова, Жукова про поля, но вообще главным образом самообразовался, конечно - благо, хороших книжек/статей/lecturenotes хватает, теорию моделей примерно в таком порядке: - basics ( to the extent of David Marker's "Model theory: an introduction" and Bruno Poizat's "Model theory", Chang/Keisler concerning ultraproducts details) - stability basics and applications(Lou van den Dries's lecture notes, Pillay's lecture notes and certain chapters of "Geometric stability theory" ) - more on structure of strongly minimal sets(Boris Zilber's lecture notes) - details of o-minimality (Wilkie's articles, selected chapters of van den Dries's book on o-minimality) - amalgamation (Hrushovski papers on construction of stable structures by amalgamation for new minimal sets and field fusion, Baldwin's articles on genericity phenomena, Zilber's and co articles on program of treating this constructions as natural ones and connections to Schanuel conjecture) - aspects of finite model theory (zero-one laws, connections with computational complexity via descriptive complexity - books by Ebbinghaus/Flum and Immerman, stability for finite variable logic - Marco Djordjevich's articles) - simplicity theory ( "A primer of simple theories" by Grossberg/Lessman/Iovino, parts of Wagner's book on the subject and several related articles by Kim, Pillay and others) Как Вы думаете, может быть мне имеет смысл подаваться на taught мастера? Т.е. насколько я понимаю, посещению семинаров и т.п. это мешать не будет, а требованиям я вроде удовлетворяю, ну м какое-то количество сданных курсов это компенсирует. (Ответить) (Уровень выше) (Ветвь дискуссии)

(Скрытый комментарий)

(Скрытый комментарий)

archernikov@lj 2006-12-17 13:52 (ссылка)

Да, спасибо, я всякими бумажками занимаюсь сейчас, постараюсь поторопиться. Даже несколько неловко, что Вы такое спрашиваете :) Если проделать по определениям, то навскидку: 1) Есть OrderProperty: явно строятся по Extension Axiom'ам две подходящие последовательности вершин, ну а из них бесконечный линейный порядок на таплах. 2) Подсчёт типов. Над моделью любой мощности можно найти экспоненциально много типов( а именно для каждоого подмножества модели берём тип вершины, подсоединённой к каждому его элементу, но ни к одному из его дополнения. По Extension Axiom'ам и компактности они совместны, но попарно различны), значит нестабильна ни в одном кардинале. Из-за такого количества, понятно, проваливается и определимость типов. 3) Или, скажем, не выполняется единственность нефоркающихся расширений типа над моделью. Есть элиминация кванторов (back-and-forth) - единственные форкинг формулы вида "x=a". Тогда тип над моделью "не связан ребром ни с одним её элементом" можно расширить на новую вершину двумя разными способами, прицепиться к ней или не прицепиться, оба не форкаются и не совместимы. У Смирнова попробую спросить, у руководителя дипломной - да, конечно могу. Вы не могли бы написать пару общих слов, может быть, по процессу подачи - выбор коледжа, etc или мне с этим вопросом обратиться к Graduate Admissions Secretary надо? Да, записку постараюсь привести в читаемый вид как можно скорее. Model theoretic контент там совсем элементарный, правда, попытка свести пару вопросов Finite Model Theory к нормальной теории моделей, по сути - поднятие "униформной" биинтерпретации семейств конечных моделей до нормальной биинтерпретируемости всяких пределов этих семейств. P.S. Давайте может-быть, если Вы не против, продолжим в e-mail этот conversation? artyom.chernikov@gmail.com (Ответить) (Уровень выше)

	respicere@lj 2006-11-28 13:51 (ссылка)
	Try Jerusalem which is the best place in the world to work in this direction. In particular, Hrushovski and Kazhdan are developing a new kind of algebraic geometry structures using model theory. (Ответить) (Уровень выше) (Ветвь дискуссии)

	bbixob@lj 2006-11-29 11:26 (ссылка)
	da, eto prawda... (Ответить) (Уровень выше)

	ayudug@lj 2006-11-27 21:04 (ссылка)
	У меня в дипломе было написано что-то вроде специалист по защите информации. Взяли на чистую математику, нормальное место. Публикаций тоже не было. На владение темой я вовсе не претендавал. (Ответить) (Ветвь дискуссии)

	archernikov@lj 2006-11-27 21:10 (ссылка)
	А можно попросить Вас чуть подробнее, если не затруднит? (Ответить) (Уровень выше) (Ветвь дискуссии)

	ayudug@lj 2006-11-27 21:16 (ссылка)
	Не понятно, Вы в штаты поступать хотите? Про что именно подробней? (Ответить) (Уровень выше) (Ветвь дискуссии)

	archernikov@lj 2006-11-28 22:17 (ссылка)
	Ну, какие-то общие вещи - Вы вступали в контакт с потенциальным руководителем или просто зарегестрировались на соответствующую программу, Вас рекоммендовал кто-то из области защиты информации или были какие-то научные контакты, в таком духе. (Ответить) (Уровень выше) (Ветвь дискуссии)

ayudug@lj 2006-11-29 00:35 (ссылка)

Как я понимаю, почти все зависит от того, есть ли научный руководитель, который готов взять и рекомендует. В штатах это не так. Конечно если кто-то хочет Вас видеть то шансов у Вас больше (хотя мне известен случай, когда русский руководитель хотел себе конкретного русского студента, но того не взяли т.к. у него были не оч хорошие оценки (4 в среднем), и не очень хороший GRE), но и безо всякого "блата" Вас возьмут если поймут что Вы сильны. Из области защиты информации никто не рекомендовал, все рекомендации были от профессоров читавших у нас мат. курсы. С одним из них я занимался математикой. Дайте и-мэйл, я Вам больше напишу. (Ответить) (Уровень выше) (Ветвь дискуссии)

	archernikov@lj 2006-11-29 00:37 (ссылка)
	artyom.chernikov@gmail.com (Ответить) (Уровень выше)

	firenaack@lj 2006-11-27 21:07 (ссылка)
	Как я понимаю, почти все зависит от того, есть ли научный руководитель, который готов взять и рекомендует. (Ответить) (Ветвь дискуссии)

	archernikov@lj 2006-11-28 22:10 (ссылка)
	Да, я тоже приблизительно так и понимаю. (Ответить) (Уровень выше)

	yvk@lj 2006-11-28 10:33 (ссылка)
	Да, и снимите замок, эта запись не всем видна. (Ответить) (Ветвь дискуссии)

	archernikov@lj 2006-11-28 22:19 (ссылка)
	Последовал Вашему совету, спасибо, по возможности и остальным последую. (Ответить) (Уровень выше)

akor168@lj 2006-11-28 15:55 (ссылка)

Чисто теоретически, при поступлении в американскую аспирантуру не так важно был ли у тебя major в той специальности, куда поступаешь. Бывает, когда с литературы могут взять на математику и наоборот. Прыжки же между математикой, физикой и инженерией сам бог велел. С другой стороны, конечно, специализация пойдет в плюс, особенно при наличие хороших рекомендации. Если обобщать, то смотрят на три вещи: Умный ли соискатель человек (для этого и есть общие и специальные тесты) Его опыт и те классы которые он уже брал Рекомендации. Последние могут перевесить все, и являются в большинстве случаев ключевыми. (Ответить)

	aristk@lj 2006-11-29 05:02 (ссылка)
	Поговорите с Андреем Бовыкиным или/и Мишей Гавриловичем, они занимаются близкой к Вам темой... Для первого контакта можете сослаться на меня ;) (Ответить) (Ветвь дискуссии)

	archernikov@lj 2006-12-01 20:17 (ссылка)
	Спасибо! (Ответить) (Уровень выше)

dmitri_pavlov@lj 2007-02-26 16:04 (ссылка)

Поступить в аспирантуру (по крайней мере, в американскую) очень легко, вопреки моим собственным более ранним ожиданиям. Мне уже пришёл положительный ответ от UC Berkeley и Columbia, Princeton поставил меня в список на ожидание, а сейчас я жду ответы от оставшихся пяти университетов. При этом у меня похожая ситуация (формально инженерное образование, нет публикаций (одна должна скоро выйти) и научных контактов (кроме профессоров физматклуба)). (Ответить)