On Bourbaki's axiomatic system for set theory (Q2263057): Difference between revisions

@@ Property / describes a project that uses @@
+gaia
@@ Property / describes a project that uses: gaia / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-014-0515-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2084135983
@@ Property / OpenAlex ID: W2084135983 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59594751
@@ Property / Wikidata QID: Q59594751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's epsilon as an operator of indefinite committed choice
+Normal rank
@@ Property / cites work @@
+Hilbert's \(\varepsilon{}\)-operator and classical logic
+Normal rank
@@ Property / cites work @@
+Q4652417
@@ Property / cites work: Q4652417 / rank @@
+Normal rank
@@ Property / cites work @@
+The ignorance of Bourbaki
@@ Property / cites work: The ignorance of Bourbaki / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory and the foundations of mathematics: philosophical excavations.
+Normal rank
@@ Property / cites work @@
+Some proposals for the set-theoretic foundations of category theory
+Normal rank
@@ Property / cites work @@
+Foundations of mathematics for the working mathematician
+Normal rank
@@ Property / cites work @@
+Q5565097
@@ Property / cites work: Q5565097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766979
@@ Property / cites work: Q4766979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5842316
@@ Property / cites work: Q5842316 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicolas Bourbaki and the concept of mathematical structure
+Normal rank
@@ Property / cites work @@
+Q4454196
@@ Property / cites work: Q4454196 / rank @@
+Normal rank
@@ Property / cites work @@
+General Theory of Natural Equivalences
@@ Property / cites work: General Theory of Natural Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
+Normal rank
@@ Property / cites work @@
+Q5617608
@@ Property / cites work: Q5617608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003794
@@ Property / cites work: Q3003794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3427170
@@ Property / cites work: Q3427170 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur quelques points d'algèbre homologique
@@ Property / cites work: Sur quelques points d'algèbre homologique / rank @@
+Normal rank
@@ Property / cites work @@
+Q6045591
@@ Property / cites work: Q6045591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799431
@@ Property / cites work: Q5799431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5447097
@@ Property / cites work: Q5447097 / rank @@
+Normal rank
@@ Property / cites work @@
+Tool and object. A history and philosophy of category theory
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+From a geometrical point of view. A study of the history and philosophy of category theory
+Normal rank
@@ Property / cites work @@
+Unordered pairs in the set theory of Bourbaki 1949
+Normal rank
@@ Property / cites work @@
+HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
@@ Property / cites work: HILBERT, BOURBAKI AND THE SCORNING OF LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960633
@@ Property / cites work: Q3960633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4907334
@@ Property / cites work: Q4907334 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs
+Normal rank
@@ Property / cites work @@
+Q4931901
@@ Property / cites work: Q4931901 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/synthese/AnaconaAP14
@@ Property / DBLP publication ID: journals/synthese/AnaconaAP14 / rank @@
+Normal rank