|
Freedom from the interpolation property for tense calculi associated with Ershov spaces
V. F. Murzina Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
We study into the question whether calculi associated with Ershov topological spaces possess Craig?s interpolation property.
Keywords:
Craig interpolation property, Ershov topological space.
Received: 16.10.2006
Citation:
V. F. Murzina, “Freedom from the interpolation property for tense calculi associated with Ershov spaces”, Algebra Logika, 46:6 (2007), 745–762; Algebra and Logic, 46:6 (2007), 409–418
Linking options:
https://www.mathnet.ru/eng/al324 https://www.mathnet.ru/eng/al/v46/i6/p745
|
Statistics & downloads: |
Abstract page: | 452 | Full-text PDF : | 62 | References: | 50 | First page: | 2 |
|