首页 | 本学科首页   官方微博 | 高级检索  
     检索      


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号