@misc{indiciae2177adddfd67,
  title = {Generalized Decidability via Brouwer Trees},
  author = {Tom de Jong and Nicolai Kraus and Aref Mohammadzadeh and Fredrik Nordvall Forsberg},
  year = {2026},
  doi = {10.4230/lipics.lics.2026.59},
  url = {https://arxiv.org/abs/2602.10844},
  note = {Source identifier: 2602.10844}
}