2009 seminar talk: An Impact of Infinity
Talk held by Kentaro Sato (Japan Society for the Promotion of Science) at the KGRC seminar on 2009-07-28.
Both in the absence and in the presence of infinity, the logical strengths of several principles are investigated. Surprisingly, the structure of the logical strengths turns out to be completely changed by infinity. This also shows the very strong utility of the framework of set theory.