2,939 followers
@kamo_hiroyasu 言語(0,1,+,×,<)上のdiscrete ordered semi-ringのaxiomsにΣ_1-induction schemaを追加してIΣ_1を定義している文献は知っています、 https://t.co/DwztSWmMIY
@kamo_hiroyasu 言語(0,1,+,×,<)上のdiscrete ordered semi-ringのaxiomsにΣ_1-induction schemaを追加してIΣ_1を定義している文献は知っています、 https://t.co/DwztSWmMIY