Matthew de Brecht
Identifiers
- name variant Matthew de Brecht 0.60 · backfill
Papers (9)
- A note on computable \'{e}tale spaces math.LO · 2026 · author #1
- Domain-complete and LCS-complete spaces math.GN · 2019 · author #1
- Overt choice math.LO · 2019 · author #1
- Noetherian Quasi-Polish Spaces math.GN · 2016 · author #1
- Non-deterministic computation and the Jayne-Rogers Theorem cs.LO · 2014 · author #2
- Levels of discontinuity, limit-computability, and jump operators math.LO · 2013 · author #1
- Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces cs.LO · 2013 · author #2
- Quasi-Polish Spaces math.LO · 2011 · author #1
- Closed Choice and a Uniform Low Basis Theorem math.LO · 2010 · author #2
Mentions
Frequent Coauthors
- Arno Pauly 5 shared papers
- Jean Goubault-Larrecq 1 shared papers
- Matthias Schr\"oder 1 shared papers
- Vasco Brattka 1 shared papers
- Xiaodong Jia 1 shared papers
- Zhenchao Lyu 1 shared papers