2025 10 17
I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at 数学基礎論若手の会 2025, Maebashi (Japan), 16-18 October 2025. Slides (short version of the slides used at CIRM 3377).
I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at 数学基礎論若手の会 2025, Maebashi (Japan), 16-18 October 2025. Slides (short version of the slides used at CIRM 3377).