...
首页> 外文期刊>Sibirskie elektronnye matematicheskie izvestiia: Siberian Electronic Mathematical Reports >On axiomatizability of the class of finitary matroids and decidability of their universal theory
【24h】

On axiomatizability of the class of finitary matroids and decidability of their universal theory

机译:论其普遍理论综合疗法和可辨ica的公理性

获取原文
   

获取外文期刊封面封底 >>

       

摘要

In the paper, nitary matroids are studied by means of the model theory. It is shown that the class of nitary matroids is nonaxiomatizable. Decidability of the universal theory of this class is proved.
机译:在本文中,通过模型理论研究了良性丙醇。结果表明,患有的患者是非瘤性的。证明了本课程的普遍理论的可判定性。

著录项

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号