TY  - RPRT
TI  - Generalized Decidability via Brouwer Trees
AU  - Tom de Jong
AU  - Nicolai Kraus
AU  - Aref Mohammadzadeh
AU  - Fredrik Nordvall Forsberg
PY  - 2026
DO  - 10.4230/lipics.lics.2026.59
UR  - https://arxiv.org/abs/2602.10844
ID  - 2602.10844
ER  -