20/04/30 23:21:02.83 uKv4ftJu.net
>>592 補足
最後の
”However, these long discussions are all about interpretations.
Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.”
って、どういう意味？
”So I find it very hard to “guess” what something like a surrounding “theory” might be.
For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry URLﾘﾝｸ(en.wikipedia.org)(model_theory) you linked to, nor the topos-theoretic framework of Caramello.
(Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set.
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)”
ここも
”very hard”、 ”might be”、”I find it hard to take a Hodge theater and produce some interesting set”
とか なんだかな～
”impossible”！ って断定しないと、それじゃ 弱いよね～ｗ