Is the missing axiom of matroid theory lost forever?

Details Is the missing axiom of matroid theory lost forever? Is the missing axiom of matroid theory lost forever?

2012-04-16

arxiv.org/abs/1204.3365v1

Mathematics

Combinatorics

22 pages

Scientific paper

We conjecture that it is not possible to finitely axiomatize matroid representability in monadic second-order logic for matroids, and we describe some partial progress towards this conjecture. We present a collection of sentences in monadic second-order logic and show that it is possible to finitely axiomatize matroids using only sentences in this collection. Moreover, we can also axiomatize representability over any fixed finite field (assuming Rota's conjecture holds). We prove that it is not possible to finitely axiomatize representability, or representability over any fixed infinite field, using sentences from the collection.

Affiliated with

Also associated with

No associations

Rating

Is the missing axiom of matroid theory lost forever? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Is the missing axiom of matroid theory lost forever?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Is the missing axiom of matroid theory lost forever? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-5924