论文标题
定义单基曲霉中的单调逻辑
Defining bicircular matroids in monadic logic
论文作者
论文摘要
我们猜想框架矩阵类别可以以矩形的二阶逻辑中的句子为特征，并且我们证明了双子矩阵类别的特征。证明不取决于排除的少量表征。
We conjecture that the class of frame matroids can be characterised by a sentence in the monadic second-order logic of matroids, and we prove that there is such a characterisation for the class of bicircular matroids. The proof does not depend on an excluded-minor characterisation.
