Community portal

From Cantor's Attic
Revision as of 19:10, 29 December 2011 by Jdh (Talk | contribs) (Created page with " Welcome to the Cantor's Attic community! We aim to provide a comprehence high-quality reference for all concepts of infinity in mathematics, including particularly the diverse l...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Welcome to the Cantor's Attic community! We aim to provide a comprehence high-quality reference for all concepts of infinity in mathematics, including particularly the diverse large cardinal concepts, proof-theoretic ordinals, fine-structural ordinals and all other infinitary concepts studied in set theory, logic and mathematics.

This project aims to harness the abilities and efforts of the expert mathematical logic community---please help out! If you see a page that could be improved, please click to create an account, log in and make it better.

To do List

Here is a list of tasks that need doing. Please update with subentries as appropriate. JDH

  • Populate most of the large cardinal entries with mathematical information
  • Develop pages with background set-theoretic information
  • Figure out how to uniformize reference entries, preferably via bibtex entries (wikipedia has some kind of reference template)
  • Figure out how to generate an RSS feed of new posts
  • Major projects
    • Develop a graphical representation of the implication and consistency strength relations between large cardinals (like a grand clickable version of the diagram in Kanamori's book) Such a diagram could be the main list on the upper attic page.
    • A smaller or condensed perhaps linear version of the same diagram in a widget graphical representation to appear automatically in each page, indicating visually roughly where that cardinal sits in the hierarchy. I can imagine something like a vertical sidebar version of the toolbar on many operating systems, where the currently relevant entry appears larger than the rest, as one moves around.