Reverse mathematics is a framework for analysing the minimal axioms required to prove mathematical theorems by working within subsystems of second-order arithmetic. Its central concern is to establish ...

“THIS volume is the first part of a work designed it provide a convenient account of the foundations and methods of modem algebraic geometry.” These words from the authors' preface explain the scope ...