Implementing mathematical objects in set theory

zbMATH Open1126.03049MaRDI QIDQ3590906FDOQ3590906

Authors: Thomas Forster 

Publication date: 3 September 2007

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

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)

Cited In (7)

• A Theory of Mathematical Objects as a Prototype of Set Theory
• Unordered pairs in the set theory of Bourbaki 1949
• Mathematical objects arising from equivalence relations and their implementation in Quine's NF
• Adding an abstraction barrier to ZF set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)