晋陵郡太守の殷師（太常殷融の子）の子として生まれた。はじめ著作郎に任じられ、後に謝玄の長史・晋陵郡太守となる。孝武帝の下では太子中庶子・黄門郎となった。392年に都督三州諸軍事・西府軍元帥・荊州刺史になり江陵に鎮した。397年に北府軍元帥の王恭が挙兵した際には誘いを受けて共に挙兵し、王国宝を誅殺に追い込んだ。翌年に再度王恭が挙兵した際には、殷仲堪も桓玄と共に挙兵する。しかし王恭が劉牢之の裏切りで殺害されると、司馬道子の調略で桓玄に西府軍元帥の職を与える事が約束されたため桓玄は裏切り、殷仲堪も引き下がった。399年、殷仲堪は再び挙兵して桓玄を討とうとしたが、連戦連敗を喫した挙句に自殺した。殷仲堪は主体性が乏しく、王恭が挙兵した際に行動を共にしたのも王恭や桓玄に勧められての事が大だったという。また武人というよりは政治家・貴族であり、風雅な清談の宴席で老荘風の詭弁を弄する事は得意でも戦場では優柔不断で「計を用いるにあたってああでもない、こうでもないとただに思いまどい、しかも物事の見通しも聞かなければ、深謀もできず、これでは負けるより仕方ない」とまで批評されているほどである。ただ政治家としてはかなり優れていたようで、人の危急を救う事を好み、病人があれば脈を診、薬を施したという。なお、殷仲堪は道教の一派である天師道に凝り、鬼神を祈るには財を惜しまなかったという。
ニューヨークのマンハッタンの街に突然出現したヨーロッパの不夜城。そこで繰り広げられる大人の男女の物語を、フライング技術なども取り入れて華麗にショーアップ。明るさとシャープさ、妖しさとメルヘンを併せ持った物語仕立てのグランド・ショー作品。ロバート・ロングボトムが宝塚歌劇団82期生の初舞台のロケットをはじめ、数シーンの振り付けを担当。東京公演は内容を一部変更。
『マンハッタン不夜城』-王様の休日-（マンハッタンふやじょう おうさまのきゅうじつ）は宝塚歌劇団の舞台作品。月組公演。形式名は「グランド・ショー」。20場。作・演出は草野旦。東京公演における瑠菜まりと紫野ゆきは病気のため休演。併演作品は『CAN-CAN』。
渡部 美代子（わたなべ みよこ、1977年12月4日生は、秋田県八郎潟町出身のバスケットボール選手である。ニックネームは「アキ」。ポジションはシューティングガード。三井生命ファルコンズで活躍していた。
ZFCの下では、κ が強到達不能であるときVκ がZFCのモデルになる。ZFの下では、κ が弱到達不能であるときゲーデル宇宙のLκ がZFCのモデルになる。よって、ZF+"弱到達不能基数が存在する"はZFCが無矛盾であることを導き、不完全性定理よりその存在はZFCで証明できない。つまり、到達不能基数は巨大基数の一種である。VがZFCの標準モデルで κ がVの到達不能基数であるとき、Vκ はZF集合論のintended modelになり、Def(Vκ )はNBG集合論のintended modelになり、Vκ +1はMK集合論のintended modelになる。ここで、Def(X)はXの Δ₀ 定義可能な部分集合である（en:constructible universe）。しかしながら、Vκ がZFの標準モデルになるために κ が到達不能基数である必要はなく、基数である必要すらない。VがZFCのモデルであるとする。Vが強到達不能基数を持ってなくても、持っていたとしても κ をVの最小の到達不能基数とすると、Vκ は強到達不能基数を持たないZFCの標準モデルである。すなわち、ZFCが無矛盾ならZFC+"強到達不能基数は存在しない"は無矛盾である。同様にVが弱到達不能基数を持ってなくても、持っていたとしても κ をVの最小の弱達不能基数とすると、Lκ は弱到達不能基数を持たないZFCの標準モデルである。だから、ZFCが無矛盾ならZFC+"弱到達不能基数は存在しない"も無矛盾である。このことから、ZFCからは到達不能基数の存在を証明できないし、ZFCは到達不能基数の非存在と矛盾しない。 ZFCが到達不能基数の存在と矛盾しないかという問題はもっと微妙である。前段落で見られた、「ZFC+"到達不能基数がある"が無矛盾ならば、ZFC+"到達不能基数は存在しない"は無矛盾である」の証明はZFCの中で形式化可能である。しかし、「ZFCが無矛盾ならば、ZFC+"到達不能基数が存在する"が無矛盾」ということのZFCで形式化された証明は存在しえない。これはゲーデルの第2不完全性定理からわかる。不完全性定理よりZFC+"到達不能基数が存在する"が無矛盾なら自身の無矛盾性はその中で証明できない。ZFCが「ZFCが無矛盾ならば、ZFC+"到達不能基数が存在する"が無矛盾である」を証明するとしたら、当然ZFC+"到達不能基数が存在する"でも同じことを示せることになるが、ZFC+"到達不能基数が存在する"は前述のようにZFCの無矛盾性を証明するので、結局ZFC+"到達不能基数が存在する"が自身の無矛盾性を証明できることになってしまうが、これは矛盾であるからである。到達不能基数の存在性に関するZFCで形式化できない議論がある。そのような議論の一つがHrbacek & Jech (1999, p. 279)に表れている。もし集合論のモデル M の拡大モデルがあれば、M の全ての順序数によるクラスは、それ自体到達不能基数になる。というものである。