[logic-ml] Vopenka's principle

logic logic at math.tsukuba.ac.jp
Wed Feb 2 11:29:22 JST 2022


次の論文をreviewしましたので、
   御案内しておきます。

https://zbmath.org/pdf/07455911.pdf


   にしむら
   https://www.researchgate.net/profile/Hirokazu-Nishimura
   https://www.youtube.com/watch?v=mULvGLOKVCA




More information about the Logic-ml mailing list