Implementing mathematical objects in set theory

MaRDI QIDQ3590906zbMATH OpenFDO

Authors Thomas Forster

Publication date 3 September 2007

zbMATH Keywords

methodology of mathematicsmodeling mathematical notionsNF set theory

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Recommendations

• Mathematical objects arising from equivalence relations and their implementation in Quine's NF
• Adding an abstraction barrier to ZF set theory
• Reconsidering pairs and functions as sets
• Generating custom set theories with non-set structured objects
• Logic, sets, and mathematics

Cited in

(8)

• The logic of finite order
• Adding an abstraction barrier to ZF set theory
• Mathematical objects arising from equivalence relations and their implementation in Quine's NF
• A Theory of Mathematical Objects as a Prototype of Set Theory
• scientific article; zbMATH DE number 3954266 (Why is no real title available?)
• Letter
• scientific article; zbMATH DE number 1004882 (Why is no real title available?)
• Unordered pairs in the set theory of Bourbaki 1949

This page was built for publication: Implementing mathematical objects in set theory

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