1,047 followers
僕は"Iterated Inductive Definitions and Subsystems of Analysis" LNM 897 https://t.co/sueTqpJINl やBuchholz and Schuetteの"Proof Theory of Impredicative Subsystems of Analysis"を学生時代に(全部ではないけれど)時間をかけて読んで論文を書きはじめた.(ただもう古いのかも)
僕は"Iterated Inductive Definitions and Subsystems of Analysis" LNM 897 https://t.co/sueTqpJINl やBuchholz and Schuetteの"Proof Theory of Impredicative Subsystems of Analysis"を学生時代に(全部ではないけれど)時間をかけて読んで論文を書きはじめた.(ただもう古いのかも)
@yoriyuki Tarskiの定理のステートメントを忘れてしまいましたが,よくID_1とか言われる理論の不動点は下から操作を反復することで作れます.私はこの本の最初の方で知りました.(いまなら他にもリファレンスがあるのかもしれませんが...)https://t.co/sueTqpJINl
@Alwe_Alwe あ,この本ですね.https://t.co/sueTqpJINl
自然演繹ってスペース使うせいか,たとえばBuchholzの昔の論文ではterm notationをすでに使っている.この本の188ページから始まる論文.https://t.co/ehqF7Zn8Au