Reverse mathematics is a framework for analysing the minimal axioms required to prove mathematical theorems by working within subsystems of second-order arithmetic. Its central concern is to establish ...
Matroid theory provides a unifying framework for notions of independence arising in linear algebra, graph theory and beyond. A matroid consists of a finite ground set endowed with an independence ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results