首页>
外文OA文献
>On decidability of MSO theories of representable matroids
【2h】
On decidability of MSO theories of representable matroids
展开▼
机译:关于可表示拟阵的MSO理论的可判定性
展开▼
免费
页面导航
摘要
著录项
相似文献
相关主题
摘要
We show that, for every finite field , the class of all -representable matroids of branch-width at most a constant t has a decidable MSO theory. In the other direction, we prove that every class of -representable matroids with a decidable MSO theory must have uniformly bounded branch-width.
展开▼