Продукт
Друзьям-математикам.

Смотрю на дело рук своих (записки на сотню страниц про введение в
теорию моделей) с некоторым сожалением - типа, пропадет ведь продукт.
Может, попробовать таки написать за лето формальный текст, присоединив
непрочтенный кусок про равномерную определимость типов? Будет, конечно,
очень сильно пересекаться с книжкой Маркера, но она толстая и, по-моему,
слегка перегруженная, так что может иметь смысл даже если какая-нибудь
добрая душа в ближайшее время переведет Маркера на русский. Хотя вообще
писать (печатать на компьютере в ТеХе) очень не люблю; но смущает даже
не это, а предполагаемое свиное рыло в калашном ряду - я не только не
специалист, а многих элементарных вещей пока не знаю.