Freedom from the interpolation property for tense calculi associated with Ershov spaces |
| |
Authors: | V M Murzina |
| |
Institution: | (1) Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia |
| |
Abstract: | We study into the question whether calculi associated with Ershov topological spaces possess Craig’s interpolation property.
Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President)
and State Aid of Fundamental Science Schools, project NSh-4787.2006.1.
__________
Translated from Algebra i Logika, Vol. 46, No. 6, pp. 745–762, November–December, 2007. |
| |
Keywords: | Craig interpolation property Ershov topological space |
本文献已被 SpringerLink 等数据库收录! |
|