Defining bicircular matroids in monadic logic
Digital Document
| Collection(s) |
Collection(s)
|
|---|---|
| Content type |
Content type
|
| Resource Type |
Resource Type
|
| Genre |
Genre
|
| Language |
Language
|
| Peer Review Status |
Peer Review Status
Peer Reviewed
|
| Persons |
|---|
| Origin Information |
|
|---|
| Abstract |
Abstract
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.
|
|---|
| Publication Title |
Publication Title
|
|---|---|
| Publication Number |
Publication Number
Volume 73, Issue 1
|
| DOI |
DOI
10.1093/qmath/haab020
|
|---|---|
| ISSN |
ISSN
0033-5606
|
| Note |
|
|---|
| Use and Reproduction |
Use and Reproduction
©2021. The Quarterly Journal of Mathematics. Oxford University Press. - 12 months embargo !
|
|---|---|
| Rights Statement |
Rights Statement
|