[logic-ml] purity

logic logic at math.tsukuba.ac.jp
Tue Feb 23 20:38:58 JST 2021


Purityというと、algebraに限らず、model theoryでも
好んで取り上げられる概念ですが、最近これに関して
一寸面白い論文をreviewしたので、ご案内いたして
おきます。

https://zbmath.org/?q=an%3A07303578


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



More information about the Logic-ml mailing list