Headline results
Quoted from the headline results in README.md of FormalFrontier/minimal-primes at commit 45952e34, Apache-2.0.
Successors of finite product… to Common finite bases of…
- Successors of finite product expansions
- Dimension from finite coordinate-restriction images
- Chain cardinalities of unions
- Chain cardinalities of exclusive-piece unions
- Krull dimension of exclusive-piece unions
- Dimension comparison and arbitrary unions
- Krull dimension under finite covers
- Chain cardinalities of disjoint sums
- Finite localization near a minimal prime
- Directed suprema of relations on a fixed set
- Directed unions: chain cardinality and order dimension
- Chain cardinalities of lexicographic products
- Chain cardinalities of lexicographic sums
- Chain cardinalities of dependent lexicographic sums
- Krull dimension of dependent lexicographic sums
- Krull dimension of lexicographic sums
- Krull dimension of lexicographic products
- Dimension and point ranks of finite dependent lexicographic products
- Semimodules, annihilators and faithful actions on dependent reduced products
- Common finite bases of dependent reduced products
Exactness of dependent… to Irreducible closed rectangles…
- Exactness of dependent reduced-product maps
- Coordinate maps and zero-reflection of dependent filter products
- Reindexing dependent filter products
- Small products of dependent filter products
- Centers of dependent filter products
- Reduced filter germs
- Nontrivial dependent reduced products
- No zero divisors in ultrafilter products
- Integral pullback of maximal spectra
- Irreducible closed rectangles and topological product dimensions
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.