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.

UDC: 510.643

Received: 16.10.2006

 English version: Algebra and Logic, 2007, 46:6, 409–418

Bibliographic databases:

• 
• 
• 
•