bio | website | |
---|---|---|
location | ||
age | ||
visits | member for | 1 year, 4 months |
seen | Dec 26 '12 at 18:40 | |
stats | profile views | 59 |
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? |