Set-theoretic foundations (Q5351860): Difference between revisions

@@ Property / cites work @@
+The hyperuniverse program
@@ Property / cites work: The hyperuniverse program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230782
@@ Property / cites work: Q4230782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258439
@@ Property / cites work: Q4258439 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigor and Structure
@@ Property / cites work: Rigor and Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414548
@@ Property / cites work: Q3414548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163527
@@ Property / cites work: Q4163527 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
+Normal rank
@@ Property / cites work @@
+Q5040168
@@ Property / cites work: Q5040168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893763
@@ Property / cites work: Q4893763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185007
@@ Property / cites work: Q4185007 / rank @@
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
+Normal rank
@@ Property / cites work @@
+THE SET-THEORETIC MULTIVERSE
@@ Property / cites work: THE SET-THEORETIC MULTIVERSE / rank @@
+Normal rank
@@ Property / cites work @@
+Does Category Theory Provide a Framework for Mathematical Structuralism?†
+Normal rank
@@ Property / cites work @@
+Mathematical problems
@@ Property / cites work: Mathematical problems / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting Gödel
@@ Property / cites work: Interpreting Gödel / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401917
@@ Property / cites work: Q4401917 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586435
@@ Property / cites work: Q5586435 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory as an Autonomous Foundation
@@ Property / cites work: Category Theory as an Autonomous Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623689
@@ Property / cites work: Q5623689 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Models: A Sketch for the Philosophy of Mathematics
+Normal rank
@@ Property / cites work @@
+Q4692751
@@ Property / cites work: Q4692751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367597
@@ Property / cites work: Q4367597 / rank @@
+Normal rank
@@ Property / cites work @@
+Defending the Axioms
@@ Property / cites work: Defending the Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694282
@@ Property / cites work: Q4694282 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Statements of Analysis
@@ Property / cites work: Strong Statements of Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing a category of categories
@@ Property / cites work: Axiomatizing a category of categories / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring Categorical Structuralism
@@ Property / cites work: Exploring Categorical Structuralism / rank @@
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS
@@ Property / cites work: FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286718
@@ Property / cites work: Q4286718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464650
@@ Property / cites work: Q3464650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464651
@@ Property / cites work: Q3464651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Univalent Foundations of Mathematics
@@ Property / cites work: Univalent Foundations of Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing for Mathematicians
@@ Property / cites work: Forcing for Mathematicians / rank @@
+Normal rank
@@ Property / cites work @@
+Q3118395
@@ Property / cites work: Q3118395 / rank @@
+Normal rank
@@ Property / cites work @@
+Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
+Normal rank