Unordered pairs in the set theory of Bourbaki 1949

DOI10.1007/S00013-009-0006-7MaRDI QIDQ849219zbMATH OpenOpenAlexWikidataFDO

Authors A. R. D. Mathias

Publication date 25 February 2010

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00013-009-0006-7

zbMATH Keywords

supertransitive modelsunordered pair

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Reconsidering Ordered Pairs
• On Bourbaki's axiomatic system for set theory
• Implementing mathematical objects in set theory
• Reconsidering pairs and functions as sets
• A canonical form for supertransitive standard models in Zermelo-Fraenkel set theory

Cites work

• scientific article; zbMATH DE number 3504972 (Why is no real title available?)
• A system of axiomatic set theory—Part VI
• Bernays and Set Theory
• Foundations of mathematics for the working mathematician
• L'axiome de la paire dans le système de Zermelo
• On an axiom of Bourbaki
• On sets with two elements
• Reconsidering Ordered Pairs
• Rudimentary recursion, gentle functions and provident sets
• The Empty Set, The Singleton, and the Ordered Pair
• The strength of Mac Lane set theory
• Zermelo and Set Theory

Cited in

(3)

• Mathias and set theory
• Rudimentary recursion, gentle functions and provident sets
• On Bourbaki's axiomatic system for set theory

This page was built for publication: Unordered pairs in the set theory of Bourbaki 1949

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849219)