Algebraic Matroids are Undecidable Tobias Boege and Geva Yashfe have posted a remarkable paper, Recognition of algebraic matroids is undecidable. It brings together matroid theory, algebraic geometry, model theory, and undecidability. An algebraic matroid abstracts algebraic independence in a field … Continue reading →