Strong Statements of Analysis


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

Cite this paper

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