Broad infinity and generation principles

DOI10.1215/00294527-2024-0029MaRDI QIDQ6973167zbMATH OpenFDO

Authors Paul Blain Levy

Publication date 11 June 2025

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2024-0029

zbMATH Keywords

axiom of choicebroad infinitygeneration principlesGrothendieck universeinaccessible cardinalinductive chainlindenbaum numberMahlo's principleordinalrubricscaffoldset theoryTarski-style universeWISC

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Large cardinals (03E55) Nonclassical and second-order set theories (03E70)

Cites work

• A simple maximality principle
• All uncountable cardinals can be singular
• An Equivalent Form of Levy's Axiom Schema
• Axiom schemata of strong infinity in axiomatic set theory
• Constructing initial algebras using inflationary iteration
• Containers, monads and induction recursion
• Containers: Constructing strictly positive types
• Eine Konstruktion absolut freier Algebren
• Embedding orders into the cardinals with \(\mathsf {DC}_{\kappa} \)
• Extending Martin-Löf type theory by one Mahlo-universe
• Happy families
• scientific article; zbMATH DE number 5896031 (Why is no real title available?)
• scientific article; zbMATH DE number 5862936 (Why is no real title available?)
• scientific article; zbMATH DE number 3149981 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 3582148 (Why is no real title available?)
• scientific article; zbMATH DE number 3605078 (Why is no real title available?)
• scientific article; zbMATH DE number 1420853 (Why is no real title available?)
• scientific article; zbMATH DE number 3304044 (Why is no real title available?)
• scientific article; zbMATH DE number 3316895 (Why is no real title available?)
• Inaccessible cardinals without the axiom of choice
• Indexed induction-recursion
• Kelley–Morse set theory does not prove the class Fodor principle
• Killing them softly: degrees of inaccessible and Mahlo cardinals
• On hereditarily countable sets
• On hereditarily small sets in ZF
• On interpretations of arithmetic and set theory
• ON THE TRANSITIVE HULL OF A κ‐NARROW RELATION
• Quotients, inductive types, and quotient inductive types
• Set Theory
• Small induction recursion
• Terminal coalgebras in well-founded set theory
• The axiom of multiple choice and models for constructive set theory
• The Category-Theoretic Solution of Recursive Domain Equations
• The convergence of functions to fixedpoints of recursive definitions
• The foundations of mathematics in the theory of sets
• The Relation Reflection Scheme
• The strength of Mac Lane set theory
• The weak choice principle WISC may fail in the category of sets
• Untersuchungen über die Grundlagen der Mengenlehre. I.
• Variations on inductive-recursive definitions
• Wellfounded trees in categories
• What is the theory ZFC without power set?
• Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?
• Words, free algebras, and coequalizers

This page was built for publication: Broad infinity and generation principles

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