302 followers
メモ: "A variant of Mathias forcing that preserves ACA0" http://t.co/VL15r1JKhs 別にMathias forcing目当てではなく単にfunction basedなtheoryを使った文献が欲しk(
メモ: "A variant of Mathias forcing that preserves ACA0" http://t.co/VL15r1JKhs 別にMathias forcing目当てではなく単にfunction basedなtheoryを使った文献が欲しk(
たぶん計算論で最初にマサイアス強制法を使った論文はこれかな→ http://t.co/WQBhc7ee 最近の話題はこの辺?→ http://t.co/kOHj6HZo http://t.co/yVWVzpLK