Generalized Decidability via Brouwer Trees. - Tom de Jong; Nicolai Kraus; Aref Mohammadzadeh; Fredrik Nordvall Forsberg (CoRR, 2026)