1,090 followers
文献読み."Feferman on Foundations" https://t.co/JC9LFk7L43
文献読み."Feferman on Foundations" https://t.co/JC9LFk7L43
RT @AlweLogic: Buchholzのこの論文ψ(ε_{Ω+1})周りについてとても良く纏まっているなhttps://t.co/wceYvaDy9N
今日はこれを読んでいた.Laura Crosilla, "Predicativity and Feferman" (in Feferman on Foundations https://t.co/ULK1IY7ous) インプットしてアイディアを練っていると(文字通り)あっという間に時間が過ぎていく.