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

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) 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

(7)

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

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)