Мурзина В. Ф.
Отсутствие интерполяционного свойства для исчислений Lα и Lƒ

Доказывается отсутствие интерполяционного свойства Крейга для полимодальных исчислений, связанных с некоторыми пространствами Ершова.

Murzina V. F.
Absence of the interpolation property in the calculi Lα and Lƒ

We prove the absence of the Craig interpolation property in the polymodal calculi related to some Ershov spaces.

Полный текст статьи / Full texts:

• PDF file (380 KB)
• PostScript file (715 KB)