111 reputation
6
bio website
location
age
visits member for 1 year, 4 months
seen Dec 26 '12 at 18:40

Jan
4
awarded  Popular Question
Jan
4
awarded  Nice Question
Dec
26
awarded  Teacher
Dec
26
answered Arithmetic dynamics and dynamics on moduli spaces
Dec
24
comment The origin of sets?
Looking back at my old school textbook I see that all the examples given are indeed proper Venn diagrams. However the book doesn't give any actual definition so one could easily come away thinking that Euler diagrams are also Venn diagrams.
Dec
24
comment The origin of sets?
Sort of. I wanted it to be a standalone answer so it would include the image, but the image hasn't appeared. I was not aware until recently that there was a more specific definition of Venn diagrams. I had never heard of Euler circles until I read Wikipedia.
Dec
24
revised The origin of sets?
deleted 1 characters in body
Dec
23
revised The origin of sets?
deleted 5 characters in body
Dec
23
answered The origin of sets?
Dec
23
comment How would set theory research be affected by using ETCS instead of ZFC?
Tom Leinster has commented at the cafe:"the people who I would least expect to benefit from thinking about sets in terms of ETCS(+R) are in fact set theorists. That’s exactly because (as I understand it) set theory in the traditional mould is so much about the membership relation. ... I’m just curious about how necessary the global membership structure is to the central concerns of research-level set theory." golem.ph.utexas.edu/category/2012/12/…
Dec
20
revised How would set theory research be affected by using ETCS instead of ZFC?
added 2 characters in body
Dec
19
revised How would set theory research be affected by using ETCS instead of ZFC?
edited body; edited body
Dec
19
comment How would set theory research be affected by using ETCS instead of ZFC?
Another question arises: can even stronger theories be rephrased using ideas that would be comfortable for category-theorists but without the category terminology - category-free categorical-set theories and would set-theorists care for such things?
Dec
19
comment How would set theory research be affected by using ETCS instead of ZFC?
@Todd Trimble: This answer is closest to the intention of the question, particularly with phrases like "gone on record saying they do find ETCS not easy to work with or not user-friendly".
Dec
19
awarded  Editor
Dec
19
comment How would set theory research be affected by using ETCS instead of ZFC?
@Andreas Blass: Ok, so set-theory goes well beyond ZFC these days. The question then is take ETCS as your base and add whatever large cardinals that you need, then do you now care that you have started with ETCS instead of ZFC?
Dec
19
revised How would set theory research be affected by using ETCS instead of ZFC?
added 964 characters in body
Dec
19
awarded  Supporter
Dec
18
awarded  Student
Dec
18
asked How would set theory research be affected by using ETCS instead of ZFC?