The definable connectedness conjecture for regular rings
Let AAA be a regular ring, let α,β∈SperA\alpha,\beta\in\operatorname{Sper} Aα,β∈SperA, and let g1,…,gsg_1,\dots,g_sg1,…,gs be a finite collection of elements of AAA not belonging to…