Algebraic-closed-field theory ACF_p categorical in uncountable cardinalities; Zariski-topology Noetherian; each variety uniquely decomposes into finite union of irreducibles.
Algebraic-closed-field theory ACF_p categorical in uncountable cardinalities; Zariski-topology Noetherian; each variety uniquely decomposes into finite union of irreducibles.