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 (30)

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

This page was built for publication: The strength of Mac Lane set theory