2026 09 18
I gave a talk on entailment relations in constructive algebra and a short talk on inductive definition of Noetherian rings at Autumn school “Proof and Computation” 2026, Fischbachau (Germany), 13-19 September 2026.
I gave a talk on entailment relations in constructive algebra and a short talk on inductive definition of Noetherian rings at Autumn school “Proof and Computation” 2026, Fischbachau (Germany), 13-19 September 2026.