>>745
ここにマッピングがあるね。
http://www.math.wisc.edu/~jmiller/Menagerie/ComplexityZoo.pdf
ＰｖｓＮＰとかの同値性が示されたら一気に階層が潰れる可能性もあるけど。
色つきなんかで見るとわかり易い
http://www.math.ucdavis.edu/~greg/zoology/diagram.xml

ただし再帰理論なんかもランダムネスなんかが登場してかなり大きくなってきた。
http://www.math.wisc.edu/~jmiller/Menagerie/bn1g.png
http://www.math.wisc.edu/~jmiller/Menagerie/bn1g.pdf

それに逆数学＆限定算術も結構頑張ってかなりのリスト化が完成した。
http://math.berkeley.edu/~damir/zoo/just_rm.pdf
図式も一つじゃおさまらないレベルに到達してるしね。
http://math.berkeley.edu/~damir/zoo/diag_rm.pdf
http://math.berkeley.edu/~damir/zoo/diag_rm_om.pdf
http://math.berkeley.edu/~damir/zoo/diag_rm_non.pdf
http://math.berkeley.edu/~damir/zoo/diag_rm_weak.pdf
http://math.berkeley.edu/~damir/zoo/diag_hs_2007.pdf
http://math.berkeley.edu/~damir/zoo/diag_dh_2009.pdf

意外と頑張ってるのが様相論理かな。
http://home.utah.edu/~nahaj/logic/structures/systems/

巨大基数は頑張りが足りないかな？
http://websupport1.citytech.cuny.edu/faculty/vgitman/images/diagram.jpg