added some references about Charles Sanders Peirce’s axiomatic set theory in “On the Algebra of Logic”

Anonymous

]]>moving the set theory without equality section back into the foundational and definitional set theory, as a preset theory example in addition to formal category theory and dependent type theory

Anonymous

]]>Moved last paragraph of foundational vs definitional set theory to two separate section: a section on constructive set theory and a section on set theory without equality

Anonymous

]]>added pointer to:

- Andreas Blass, Yuri Gurevich,
*Why Sets?*, Bull. Europ. Assoc. Theoret. Comp. Sci.**84**(2004) 139-156. [doi:10.1007/978-3-540-78127-1_11, pdf, pdf]

I have added a pointer to

- Egbert Rijke, Bas Spitters,
*Sets in homotopy type theory*(arXiv:1305.3835)

to *set theory*, *set*, *h-set* and *predicative topos*.

@Toby: Yeah, that would be a good thing to do!

]]>I actually want to make material set theory a separate page but haven’t done it yet.

]]>Sure, I just thought I’d mention it, there are other potential contributors. Discussion in other threads recently has made me think that we don’t say often enough: “You (all) are welcome to edit this entry, no need to hesitate.”

]]>Care to? Yes! Have time to? No…

]]>I was just going to post somewhere a link to the section *material set theory*, only to notice that one practically cannot do this with a straight face, as there is way more query box discussion there than actual content.

Anyone care to clean up that section?

]]>added section titles and TOC at set theory

]]>There is discussion about material and structural set theories at set theory, spilt over from the Café.

]]>