Contrary Statements About Mathematics

DOI10.1112/S0024609300227033MaRDI QIDQ4520366zbMATH OpenFDO

Authors Saunders Mac Lane

Publication date 13 December 2000

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

elementary toposweak set theorycategorical foundation of set theoryMitchell Benabou languageseparation schemeset theory Mac

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Strong Statements of Analysis
• The strength of extensionality. II: Weak weak set theories without infinity
• The uses of set theory
• On the strength of nonstandard analysis
• Reverse mathematics of separably closed sets

Cited in

(2)

• Mathias and set theory
• Strong Statements of Analysis

This page was built for publication: Contrary Statements About Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520366)