Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-30T22:13:45.454Z Has data issue: false hasContentIssue false
  • English
  • Français

CONTRARY STATEMENTS ABOUT MATHEMATICS

Published online by Cambridge University Press:  23 October 2000

SAUNDERS MAC LANE
SAUNDERS MAC LANE
Affiliation:
Department of Mathematics, The University of Chicago, Chicago, IL 60637-1546, USA
Get access

Abstract

The preceding paper ‘Strong statements of analysis’ by A. R. D. Mathias defends a so-called full-blooded set theory without full detail [3]. He again objects to a weak set theory which he calls ‘Mac’, in which the usual Zermelo–Fraenkel separation scheme is required only for formulas with suitably ‘restricted’ quantifiers. I had proposed that such separation is adequate for all standard uses of set theory in mathematics. But Mathias has not produced any counter examples of actual mathematics which requires the use of a stronger separation.

Type
SURVEY
Information
Bulletin of the London Mathematical Society , Volume 32 , Issue 5 , September 2000 , pp. 527
Copyright
© The London Mathematical Society 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)