Freedom from the interpolation property for tense calculi associated with Ershov spaces
Algebra i logika, Tome 46 (2007) no. 6, pp. 745-762
Voir la notice de l'article provenant de la source Math-Net.Ru
We study into the question whether calculi associated with Ershov topological spaces possess Craig?s interpolation property.
Keywords:
Craig interpolation property, Ershov topological space.
@article{AL_2007_46_6_a4,
author = {V. F. Murzina},
title = {Freedom from the interpolation property for tense calculi associated with {Ershov} spaces},
journal = {Algebra i logika},
pages = {745--762},
publisher = {mathdoc},
volume = {46},
number = {6},
year = {2007},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2007_46_6_a4/}
}
V. F. Murzina. Freedom from the interpolation property for tense calculi associated with Ershov spaces. Algebra i logika, Tome 46 (2007) no. 6, pp. 745-762. http://geodesic.mathdoc.fr/item/AL_2007_46_6_a4/