Paul Lorenzen -- Mathematician and Logician

これ本文ふわふわで全てを参考文献に押し付けているので怒られそう（行間多すぎて埋める行間を選べるので自由度は高い）

セミナー、読むならこれを読みたいけど本の一部なんだよな（あとこれに書かれていないことを主題として話してしまいそう） https://t.co/89pCrapiJN

極大イデアルをモデルとしてもつ entailment relation に関する formal nullstellensatz にも Jacobson radical が出てくる（4節の Prop. 2） https://t.co/Yj7AbTzEdh

素イデアルとか極大イデアルを取らない議論についてはだいぶ整備されているようなのでありがたい（AC があれば entailment に関するある種の完全性が言えて、構成的な結果の系として、よく見る非構成的な結果が得られたりする） https://t.co/89pCra79vF