К теории моделей для интуиционистской логики

Развивается модельный подход для интуиционистских и классических теорий языка простой теории типов. Доказывается слабая форма теоремы полноты, частным случаем которой является теорема полноты Хенкина. Вводится ультрапроизведение структур Крипке и дается применение теоремы об опускании типов к теориям с бесконечными правилами вывода.
Библиография: 14 названий.