Скажите, что годного можно почитать по теме?
Сам быдлокодер ебаный, в прошлом романтик и математику любил, друг из парижа (учились вместе) посоветовал эту вещь, сказал, что очень красивая теория в логике.
Вот.
Книгу кейслера я уже нагуглил, но она платная, если кто знает сорс, скиньте плз.
Ну и вообще реквестирую любые источники/книги об этом (англ/русс).
Спасибо.
Отмечу, что есть более современный учебник Вилфрида Ходжеса (но, если для тебя это критично, его не переводили на русский).
Но что мне здесь странно - на кой черт тебе абстрактно учить теорию моделей и спрашивать советов на здесь (кстати, на всякий случай, если у тебя нет/ почти нет бэкграунда в логике, то что Кейслер Чен, что Ходжес будут слишком сложными и начать стоит с общего учебника). Я бы на твоем месте, если сколь-нибудь всерьез хочешь этим заняться и живешь в месте где есть хоть какая-то вразумительная научная активность нашел бы местных математических логиков и начал ходить на их семинар(ы). Дальше можно найти кого-нибудь более-менее квалифицированного с кем можно было бы обсудить, что именно тебе делать.
Бэкграунд -- Дискретная математика, стандарный курс, высказывания, предикаты, грамматики, ДНФ, полиномы жегалкина, вот это все.
Спасибо, на либгене кейслера не нашел что-то, а Ходжеса сейчас поищу
не
я живу в месте, где годных логиков нет, именно логиков, но есть просто крутые преподы по дискретке, можно и там спросить да
Ещё известный казахский академик решил задачу тысячелетия про уравнения Навье-Стокса. Рассказывал в интервью, что он намерен делать с миллионом института Клэя, когда получит
для того, чтобы понимать хайп вокруг трудов Хрущовского по Морделлу-Лэнгу над функциональным полем и Манину-Мамфорду, наверное надо почитать Pillay Geometric model theory
ещё полезная книжка Bouscaren Model Theory and Algebraic Geometry, An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
по о-минимальности есть классическая книжка van den Dries
бамп
Что такое теория моделей?
Это как-то связано с функаном?
А. Робинсон. Введение в теорию моделей и метаматематику
алгебры, пер. с англ. А. Б. Волынского под редакцией А. Д. Тайманова. М.: Наука, главная редакция физико-математической
литературы, 1967. 376 с. (Серия: Математическая логика и основания математики.)