ケネス・キューネン 『集合論 独立性証明への案内』、藤田博司訳、日本評論社、2008年 現代集合論にとって不可欠のツールである強制法を実践的に解説したこの分野の必読書であるキューネン集合論の翻訳。 PS 以下の新刊をいくらか読む。大変面白い。 Michael…

John Horty Frege on Definitions: A Case Study of Semantic Content, Oxford University Press USA, 2007 In this short monograph, John Horty explores the difficulties presented for Gottlob Frege's semantic theory, as well as its modern descend…

手短に記す。