Talk:Cantor's Attic

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"? JDH 19:30, 29 December 2011 (PST)

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)

How to handle ZF cardinals?

The cardinality concept in the ZF context as opposed to ZFC is rich and has very different features. We should definitely include pages with this information. What is the best way to organize it? We can of course have a summary page cardinal_general describing the main differences. But then the various large cardinal notions themselves admit non-AC forms. e.g. $\omega_1$ can be measurable, different characterizations of strongly compact are no longer equivalent without AC, etc. etc. Should this information be on the same page as the large cardinal itself? Or perhaps we should add a "back attic" containing pages with information about the non-AC context. JDH 08:37, 4 January 2012 (PST)

I believe that a general section about cardinalities and how they are defined without the axiom of choice. There should be a page listing the various "strange" cardinals in the lack of choice, D-finite, T-finite, Amorphous, etc. J. Truss wrote a paper classifying seven types of D-finite subsets, we can use those as guidelines. Another page is in order for what sort of things may fail without the axiom of choice (e.g. undefinable cardinality function); in the case of large cardinals I am not too sure, perhaps have a page for large cardinals without the axiom of choice with sections for each cardinal that we can say something about (e.g. measurable, and so on). If it gets too crowded we can start specific pages (e.g. inaccessible cardinals should have a separate page since we can say quite a lot on the various definitions of inaccessible in ZF). Asaf K 17:32, 4 January 2012 (UTC)

Asaf, it sounds good. Please go ahead. Any suggestions for a nomenclature, to keep the urls organized? Feel free to rename cardinals general. JDH 09:58, 4 January 2012 (PST)