combinatorics / Infinite matroid theory

The unrestricted infinite matroid intersection and packing/covering conjectures

Theorem 1.1: in ZFC there are a countably infinite set EE and two self-dual infinite matroids M0,M1M_0,M_1 on EE with I0∪I1≠EI_0\cup I_1\ne E for all independent I0,I1I_0,I_1; the pair has no packing/covering partition, so the infinite matroid packing/covering conjecture is false. Corollary 1.2: the same partitional pair fails intersection, refuting the unrestricted infinite Matroid Intersection Conjecture and answering Joo's Question 1.5 negatively. The examples are neither finitary nor cofinitary, so Nash-Williams' original conjecture for finitary matroids and the cofinitary cases are untouched. The local building block also answers the Bowler-Geschke ZFC question on self-dual uniform matroids (separate entry).

28Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 24, 2026Significance 28/100Registry: lean checked

The unrestricted infinite matroid intersection and packing/covering conjectures

Prior state unknown→disproved

Theorem 1.1: in ZFC there are a countably infinite set EE and two self-dual infinite matroids M0,M1M_0,M_1 on EE with I0∪I1≠EI_0\cup I_1\ne E for all independent I0,I1I_0,I_1; the pair has no packing/covering partition, so the infinite matroid packing/covering conjecture is false. Corollary 1.2: the same partitional pair fails intersection, refuting the unrestricted infinite Matroid Intersection Conjecture and answering Joo'…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: in ZFC there are a countably infinite set EE and two self-dual infinite matroids M0,M1M_0,M_1 on EE with I0∪I1≠EI_0\cup I_1\ne E for all independent I0,I1I_0,I_1; the pair has no packing/covering partition, so the infinite matroid packing/covering conjecture is false. Corollary 1.2: the same partitional pair fails intersection, refuting the unrestricted infinite Matroid Intersection Conjecture and answering Joo's Question 1.5 negatively. The examples are neither finitary nor cofinitary, so Nash-Williams' original conjecture for finitary matroids and the cofinitary cases are untouched. The local building block also answers the Bowler-Geschke ZFC question on self-dual uniform matroids (separate entry).

Theorem 1.1: in ZFC there are a countably infinite set EE and two self-dual infinite matroids M0,M1M_0,M_1 on EE with I0∪I1≠EI_0\cup I_1\ne E for all independent I0,I1I_0,I_1; the pair has no packing/covering partition, so the infinite matroid packing/covering conjecture is false. Corollary 1.2: the same partitional pair fails intersection, refuting the unrestricted infinite Matroid Intersection Conjecture and answering Joo's Question 1.5 negatively. The examples are neither finitary nor cofinitary, so Nash-Williams' original conjecture for finitary matroids and the cofinitary cases are untouched. The local building block also answers the Bowler-Geschke ZFC question on self-dual uniform matroids (separate entry).

Recorded attempts

Evidence graph

Connected research record

The unrestricted infinite matroid intersection and packing/covering conjectures — Mathematical Frontier Network