Category theory and the foundations of mathematics: philosophical excavations. (Q1578766): Difference between revisions

@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory and the Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Q3344336
@@ Property / cites work: Q3344336 / rank @@
+Normal rank
@@ Property / cites work @@
+La logique des topos
@@ Property / cites work: La logique des topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999489
@@ Property / cites work: Q3999489 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicolas Bourbaki and the concept of mathematical structure
+Normal rank
@@ Property / cites work @@
+Q5682108
@@ Property / cites work: Q5682108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614681
@@ Property / cites work: Q5614681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185007
@@ Property / cites work: Q4185007 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf models for set theory
@@ Property / cites work: Sheaf models for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical manifesto
@@ Property / cites work: A categorical manifesto / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723263
@@ Property / cites work: Q4723263 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275445
@@ Property / cites work: Q5275445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195061
@@ Property / cites work: Q4195061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143433
@@ Property / cites work: Q4143433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739887
@@ Property / cites work: Q4739887 / rank @@
+Normal rank
@@ Property / cites work @@
+Russell's substitutional theory
@@ Property / cites work: Russell's substitutional theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783260
@@ Property / cites work: Q3783260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3669333
@@ Property / cites work: Q3669333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132201
@@ Property / cites work: Q4132201 / rank @@
+Normal rank
@@ Property / cites work @@
+Are the traditional philosophies of mathematics really incompatible?
+Normal rank
@@ Property / cites work @@
+Q5586435
@@ Property / cites work: Q5586435 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612495
@@ Property / cites work: Q5612495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+The Uses and Abuses of the History of Topos Theory
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+The ignorance of Bourbaki
@@ Property / cites work: The ignorance of Bourbaki / rank @@
+Normal rank
@@ Property / cites work @@
+On the Consistency Problem for Set Theory: An Essay on the Cantorian Foundations of Classical Mathematics (I)
+Normal rank
@@ Property / cites work @@
+Boolean topoi and the theory of sets
@@ Property / cites work: Boolean topoi and the theory of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997818
@@ Property / cites work: Q3997818 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical set theory: A characterization of the category of sets
+Normal rank
@@ Property / cites work @@
+Hamiltonian paths in vertex-symmetric graphs of order 4p
+Normal rank
@@ Property / cites work @@
+Mathematics as a Science of Patterns: Ontology and Reference
+Normal rank
@@ Property / cites work @@
+Mathematics as a Science of Patterns: Epistemology
+Normal rank
@@ Property / cites work @@
+Q3240585
@@ Property / cites work: Q3240585 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135685
@@ Property / cites work: Q4135685 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, ontology, mathematical practice
@@ Property / cites work: Logic, ontology, mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical intuition. Phenomenology and mathematical knowledge
+Normal rank
@@ Property / cites work @@
+Q3216621
@@ Property / cites work: Q3216621 / rank @@
+Normal rank