scientific article
From MaRDI portal
Publication:3041179
zbMath0526.03027MaRDI QIDQ3041179
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
maximal pairsautomorphism base theoremeffective nowhere simplicityrecursive dependenceSteinitz closure systems
Combinatorial aspects of matroids and geometric lattices (05B35) Theory of numerations, effectively presented structures (03D45)
Related Items
Maximal theories ⋮ Reverse Mathematics of Matroids ⋮ The Lattice of Computably Enumerable Vector Spaces ⋮ Automorphisms of the lattice of recursively enumerable sets: Orbits