Лит-ра по теории моделей (матлогика)

[xagiwo]

Посоветуйте, пожалуйста, литературу по теории моделей и подскажите необходимые для освоения куски матлогики

[xagiwo]

Здесь никто в этом не разбирается? Я что-то не то попросил?

[пианист]

Ответил в лс

[iifat]

А что именно вы спросили? Какого рода модели вы имеете в виду? На какие вопросы вы ожидаете ответов от теории моделей?

[xagiwo]

iifat
Ну, если честно, я почитал про теоремы Гёделя и про нестандартный анализ и подумал, что крутая, наверное, вещь, эта теория моделей. Из конкретного — хочу посмотреть на док-во теоремы о компактности.

[iifat]

Хм. Ну, звучит для меня как «теория всего». Модель — ну, это модель Каждая моделю строго индивидуальна, но всё в ней интересное описывается теорией, которую она моделирует.
Впрочем, погуглив (в яндексе ), нашёл таки приведённую вами фразу, как и теорему о полноте. Почему бы вам не сделать так же? В Википедии приводится ссылка на Кейслер, Г.Дж.; Чень-Чунь, Чэн. Теория моделей; погуглив ещё раз, вроде б нашёл и эту книгу. Может, вам начать с неё? Опять же, в ней, готов поставить один из моих оставшихся пяти зубов, таки есть список литературы.

[xagiwo]

Спасибо, попробую.