added pointer to:
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:
I have added a pointer to
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é.
]]>