当前位置: X-MOL 学术Q. J. Math. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Defining Bicircular Matroids in Monadic Logic
Quarterly Journal of Mathematics ( IF 0.6 ) Pub Date : 2021-03-10 , DOI: 10.1093/qmath/haab020
Daryl Funk 1 , Dillon Mayhew 2 , Mike Newman 3
Affiliation  

We conjecture that the class of frame matroids can be characterized by a sentence in the monadic second-order logic of matroids, and we prove that there is such a characterization for the class of bicircular matroids. The proof does not depend on an excluded-minor characterization.

中文翻译:

在 Monadic Logic 中定义双圆拟阵

我们推测框架拟阵类可以用拟阵的一元二阶逻辑中的一个句子来刻画,我们证明了双圆拟阵类存在这样的刻画。证明不依赖于排除次要特征。
更新日期:2021-03-10
down
wechat
bug