Santiago Pinzon

価値付き体における強い最小性が無限構造の存在につながる様子を調べる。