Minimal model program
Statement
Mori program; Hartshorne conjecture; classification of 3-folds. Proved in ZFC.
Source
Fields Medal 1990. Mori program; Hartshorne conjecture; classification of 3-folds. Proved in ZFC.
Domains
mathematics
Mori program; Hartshorne conjecture; classification of 3-folds. Proved in ZFC.
Fields Medal 1990. Mori program; Hartshorne conjecture; classification of 3-folds. Proved in ZFC.
mathematics
Canonical: https://axiom.tanaakk.com/theorem/mori-fields-1990/