1,610 followers
RT @Alwe_Logic: 無限証明(半形式体系)を用いた古典的な無限論理のrecursion, model theoryに呼応する証明論的aspectsはPohlersの研究がある。https://t.co/gIvUeHfO2p
RT @Alwe_Logic: 無限証明(半形式体系)を用いた古典的な無限論理のrecursion, model theoryに呼応する証明論的aspectsはPohlersの研究がある。https://t.co/gIvUeHfO2p
無限証明(半形式体系)を用いた古典的な無限論理のrecursion, model theoryに呼応する証明論的aspectsはPohlersの研究がある。https://t.co/gIvUeHfO2p
Rathjen Stable 2004 https://t.co/ovM9LxGk4Q Stegert Π_ω-ref 2010 https://t.co/BCJHzZSWur 新井 Π_n-ref 2010 https://t.co/iZ91bPK45L
RT @georg_logic: ゲンツェンがどういう意味での形式主義者か,を論じたこの論文も好き.Detlefsen, “Gentzen’s Anti-Formalist Views”, 2015. https://t.co/8CZj3dQdac