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

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... (Ответить) (Уровень выше)

(Читать комментарии) -