Set-theoretic foundations
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1301817
- Foundations of set theory
- Set Theory as a Foundation
- scientific article; zbMATH DE number 2101964
- The foundations of mathematics in the theory of sets
- scientific article; zbMATH DE number 5937717
- scientific article; zbMATH DE number 3230280
- Set Theory
- scientific article; zbMATH DE number 3073207
- scientific article; zbMATH DE number 1749188
Cites work
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Axiomatizing a category of categories
- Category theory as an autonomous foundation
- Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
- Defending the axioms. On the philosophical foundations of set theory
- Does Category Theory Provide a Framework for Mathematical Structuralism?†
- Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
- Exploring Categorical Structuralism
- Forcing for mathematicians
- Foundations as truths which organize mathematics
- Foundations of unlimited category theory: what remains to be done
- Gödel's program
- scientific article; zbMATH DE number 3595177 (Why is no real title available?)
- scientific article; zbMATH DE number 3621970 (Why is no real title available?)
- scientific article; zbMATH DE number 1250161 (Why is no real title available?)
- scientific article; zbMATH DE number 1335696 (Why is no real title available?)
- scientific article; zbMATH DE number 542031 (Why is no real title available?)
- scientific article; zbMATH DE number 1092439 (Why is no real title available?)
- scientific article; zbMATH DE number 3435453 (Why is no real title available?)
- scientific article; zbMATH DE number 194754 (Why is no real title available?)
- scientific article; zbMATH DE number 218592 (Why is no real title available?)
- scientific article; zbMATH DE number 928934 (Why is no real title available?)
- scientific article; zbMATH DE number 7599487 (Why is no real title available?)
- scientific article; zbMATH DE number 3291106 (Why is no real title available?)
- scientific article; zbMATH DE number 3305131 (Why is no real title available?)
- scientific article; zbMATH DE number 3348102 (Why is no real title available?)
- Interpreting Gödel. Critical essays
- Mathematical Models: A Sketch for the Philosophy of Mathematics
- Mathematical problems
- Multiverse set theory and absolutely undecidable propositions
- Rigor and structure
- Set theory. An introduction to independence proofs
- Strong Statements of Analysis
- The continuum hypothesis, the generic-multiverse of sets, and the conjecture
- The hyperuniverse program
- THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
- The set-theoretic multiverse
- The strength of Mac Lane set theory
- Univalent foundations of mathematics
Cited in
(24)- Ideal objects for set theory
- Epistemic injustice in mathematics
- Theory of sets or set of theories?
- scientific article; zbMATH DE number 1191242 (Why is no real title available?)
- Strong Statements of Analysis
- scientific article; zbMATH DE number 3997753 (Why is no real title available?)
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
- scientific article; zbMATH DE number 5937717 (Why is no real title available?)
- scientific article; zbMATH DE number 7158385 (Why is no real title available?)
- Set Theory as a Foundation
- Foundations: Structures, Sets, and Categories
- scientific article; zbMATH DE number 3061662 (Why is no real title available?)
- A reconstruction of Steel's multiverse project
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Maddy On The Multiverse
- Set Theory and Structures
- What Do We Want a Foundation to Do?
- Foundations for the Working Mathematician, and for Their Computer
- Category theory in Isabelle/HOL as a basis for meta-logical investigation
- Hierarchical multiverse of sets
- Book review of: N. Barton, Iterative conceptions of set
- Models as fundamental entities in set theory: a naturalistic and practice-based approach
- The iterative notion of function and the iterative notion of set
- Higher-order Platonism and multiversism
This page was built for publication: Set-theoretic foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5351860)