Talk:Cantor's Attic

From Cantor's Attic
Revision as of 20:28, 29 December 2011 by Jdh (Talk | contribs) (Upper, Middle and Lower Attics)

Jump to: navigation, search

This talk page is a forum for discussing general issues regarding the development of Cantor's Attic. Please post comments below in each section. Sign your comment with four tilde symbols ~~~~ to leave your username and timestamp.


Upper, Middle and Lower Attics

Please discuss the division into upper, middle and lower attics. We could unify these into one presentation. Should we? The concepts do partition nicely into those categories, which is why I started this way. Perhaps we should find better names? JDH 18:25, 29 December 2011 (PST)

I changed "subattic" to "the parlour". Also, how about replacing "upper attic" with "the belfry"?

Pages on general set-theoretic Background?

Please discuss whether we should include extensive background supporting information on general set-theoretic topics, such as ultrafilters, measures, ultrapowers, extenders, forcing, and so on. JDH 18:25, 29 December 2011 (PST)

Open questions forum?

Please discuss whether Cantor's Attic should try to develop a forum for posting open questions related to large cardinals. We could easily create pages that compile this information, and we could then keep track of who asked which questions and when they were answered, providing links to papers and so on. Should we do this? JDH 18:27, 29 December 2011 (PST)

Adding non-large cardinal set-theoretic statements with LC strength?

What is the general opinion about whether non-LC assertions, but which have LC strength, such as PFA or MM or AD, belong here at Cantor's Attic? It would seem to be one of the major applications of the large cardinal hierarchy to study such assertions and to prove the equiconsistencies, so my tendency is to include them, even though they aren't explcitly large cardinal assertions. At the same time, I can see how their inclusion destroys the idea that what we are doing is classifying the notions of infinity. JDH 19:12, 29 December 2011 (PST)