分類

論文にAMSのMathematics Subject Classification (MSC)を付記することが求められることが時々ありますが、いつも困っています。そのものずばり、computable analysis の項目がないからです。

03D45

Theory of numerations, effectively presented structures

03D60

Computability and recursion theory on ordinals, admissible sets, etc.

あたりが近いので、たいていはその辺に逃げています。

お隣といえる分野の constructive analysis については、そのものずばり、

03F60

Constructive and recursive analysis

があるだけでなく、さらに、

26E40

Constructive real analysis

46S30

Constructive functional analysis

47S30

Constructive operator theory

まで用意されているのに比べると、うちは弱いです。

次の改訂は2010年の予定だそうで、それには間に合わないかもしれないけど、せめて、その次の改訂では computable analysis の項目ができるよう、分野の発展にちょっとでも貢献できるようがんばります。