Maximal Ideals in Countable Rings, Constructively. - Ingo Blechschmidt; Peter Schuster 001 (CiE, 2022)

A Constructive Picture of Noetherian Conditions and Well Quasi-orders. - Gabriele Buriola; Peter Schuster 001; Ingo Blechschmidt (CiE, 2023)

Reifying dynamical algebra: Maximal ideals in countable rings, constructively. - Ingo Blechschmidt; Peter Schuster 001 (Comput., 2024)

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). - Ingo Blechschmidt; Hajime Ishihara; Peter M. Schuster; Gabriele Buriola (Dagstuhl Reports, 2024)