An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.
Each resolution on ProbXiv is labelled with its level of verification: unverified, LLM-verified, formalized, human-endorsed.
problems
Computations in some cases with n = 3 suggest that if S is a generating set for Γ0, then F1 = F0 and ⟨S⟩Γ is precisely the collection of points L of Γ for which there exists an i-element E of Δ(F0) such that L ⊂ E^⟂ (in Δ(F)) and L ∩ E ≠ ∅.