On Bourbaki's axiomatic system for set theory
From MaRDI portal
Publication:2263057
DOI10.1007/s11229-014-0515-1zbMath1310.03048DBLPjournals/synthese/AnaconaAP14OpenAlexW2084135983WikidataQ59594751 ScholiaQ59594751MaRDI QIDQ2263057
Luis Carlos Arboleda, Maribel Anacona, F. J. Pérez-Fernández
Publication date: 17 March 2015
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-014-0515-1
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Schools of mathematics (01A72)
Related Items (3)
The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ The structuralist mathematical style: Bourbaki as a case study
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unordered pairs in the set theory of Bourbaki 1949
- Hilbert's epsilon as an operator of indefinite committed choice
- Set theory. An introduction to independence proofs
- Nicolas Bourbaki and the concept of mathematical structure
- The ignorance of Bourbaki
- Hilbert's \(\varepsilon{}\)-operator and classical logic
- Category theory and the foundations of mathematics: philosophical excavations.
- Tool and object. A history and philosophy of category theory
- From a geometrical point of view. A study of the history and philosophy of category theory
- Sur quelques points d'algèbre homologique
- Some proposals for the set-theoretic foundations of category theory
- Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
- FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
- HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
- Foundations of mathematics for the working mathematician
- General Theory of Natural Equivalences
This page was built for publication: On Bourbaki's axiomatic system for set theory
