Annals of Pure and Applied Logic 110 (1-3):107-234 (2001)

Abstract
Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that is adequate for much of mathematics. In this paper we show that the consistency strength of Mac Lane's system is not increased by adding the axioms of Kripke–Platek set theory and even the Axiom of Constructibility to Mac Lane's axioms; our method requires a close study of Axiom H, which was proposed by Mitchell; we digress to apply these methods to subsystems of Zermelo set theory , and obtain an apparently new proof that is not finitely axiomatisable; we study Friedman's strengthening of , and the Forster–Kaye subsystem of , and use forcing over ill-founded models and forcing to establish independence results concerning and ; we show, again using ill-founded models, that proves the consistency of ; turning to systems that are type-theoretic in spirit or in fact, we show by arguments of Coret and Boffa that proves a weak form of Stratified Collection, and that is a conservative extension of for stratified sentences, from which we deduce that proves a strong stratified version of ; we analyse the known equiconsistency of with the simple theory of types and give Lake's proof that an instance of Mathematical Induction is unprovable in Mac Lane's system; we study a simple set theoretic assertion—namely that there exists an infinite set of infinite sets, no two of which have the same cardinal—and use it to establish the failure of the full schema of Stratified Collection in ; and we determine the point of failure of various other schemata in . The paper closes with some philosophical remarks
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(00)00031-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
Through your library

References found in this work BETA

The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Countable Models of Set Theories.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 539--573.

View all 17 references / Add more references

Citations of this work BETA

Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.
Forcing in Proof Theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.

View all 30 citations / Add more citations

Similar books and articles

Liberal Education and Social Change.N. R. Lane, S. A. Lane & M. H. Pritchard - 1986 - Educational Philosophy and Theory 18 (1):13-24.
Negotiating From Strength and the Concept of Bargaining Strength.S. S. Komorita - 1977 - Journal for the Theory of Social Behaviour 7 (1):65–79.
Eine komparative Theorie der Stärke von Argumenten.Georg J. W. Dorn - 2005 - Kriterion - Journal of Philosophy 19 (1):34–43.
Strength Theory and Recognition Memory.Bennet B. Murdock & Philip O. Dufty - 1972 - Journal of Experimental Psychology 94 (3):284-290.
The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.

Analytics

Added to PP index
2014-01-16

Total views
43 ( #265,563 of 2,520,772 )

Recent downloads (6 months)
3 ( #205,225 of 2,520,772 )

How can I increase my downloads?

Downloads

My notes