The strength of Mac Lane set theory

DOI10.1016/S0168-0072(00)00031-2zbMath1002.03045WikidataQ126372013 ScholiaQ126372013MaRDI QIDQ5946048

Adrian R. D. Mathias

Publication date: 13 January 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

consistency strengthKripke-Platek set theoryAxiom HAxiom of ConstructibilityForster-Kaye subsystemMac Lane set theorysimple theory of types

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)

Related Items

Unordered pairs in the set theory of Bourbaki 1949, A note on the schemes of replacement and collection, ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS, Relating first-order set theories, toposes and categories of classes, End extending models of set theory via power admissible covers, Relativized ordinal analysis: the case of power Kripke-Platek set theory, Set Theory and Structures, Set-theoretic foundations, THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC, On the strength of a weak variant of the axiom of counting, On the relative strengths of fragments of collection, Constructing the constructible universe constructively, Comparing material and structural set theories, Relating First-Order Set Theories and Elementary Toposes, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, The Operational Perspective: Three Routes, From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts, The scope of Feferman's semi-intuitionistic set theories and his second conjecture, The seven virtues of simple type theory, Largest initial segments pointwise fixed by automorphisms of models of set theory, Non-well-foundedness of well-orderable power sets, The usual model construction for NFU preserves information, Automorphisms of models of set theory and extensions of NFU, Forcing in Proof Theory, Feferman’s Forays into the Foundations of Category Theory, Mathias and set theory, Rank-initial embeddings of non-standard models of set theory, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, Rudimentary recursion, gentle functions and provident sets, INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY

Cites Work

• Nicolas Bourbaki and the concept of mathematical structure
• Categorical set theory: A characterization of the category of sets
• Modern algebra and the rise of mathematical structures
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Boolean topoi and the theory of sets
• Implications of large-cardinal principles in homotopical localization
• Slim models of Zermelo set theory
• On a problem of Kleene’s
• End-extensions preserving power set
• Sentences of type theory: the only sentences preserved under isomorphisms
• Comparing type theory and set theory
• Finitary sketches
• Strong Statements of Analysis
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
• Mengeninduktion und Fundierungsaxiom
• The fine structure of the constructible hierarchy
• Bertrand Russell, as Mathematician
• Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie
• Set-theoretic foundations for logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item