2 Excerpts

- Published 2000

The main challenge of this paper is directed to those at Ditch Z, but the author’s earlier sallies against Ditches X and Y will be reviewed, and in the penultimate section, a new point against them will be made. M is the system, discussed by Mac Lane in [13], that suffices for ‘ local ’ mathematics ; among its axioms are the Axiom of Choice, the Power Set Axiom —which states that for each set x in the set-theoretic universe V, the power set 0(x) ̄ df 2y r yXx ́ is also a member of V—the Axiom of Infinity and certain instances of the separation scheme

@inproceedings{MATHIAS2000StrongSO,
title={Strong Statements of Analysis},
author={A. R. D. MATHIAS},
year={2000}
}