Comparing material and structural set theories — mentioned by hackandthink

Mon, 24 Oct 2022 16:08:36 GMT

This makes sense in ZFC. ZFC is a material set theory and is the most common set theory (and foundation). It's different in a Structural Set Theory. Michael Shulman: "Comparing material and structural set theories" is really nice. https://arxiv.org/abs/1808.05204 "In material set theories, the elements of a set X have an independent identity, apart from being collected together as the elements of X. Frequently, they are also sets themselves. These are also called “membership-based” set theories. In structural set theories, the elements of a set X have no identity independentof X, and in…

Paper and discussion history. A mention is not an endorsement.

Comparing material and structural set theories · HackerPapers discussions

Comparing material and structural set theories — mentioned by hackandthink