Sebastiaan A. Terwijn
Identifiers
- name variant Sebastiaan A. Terwijn 0.60 · backfill
Papers (11)
- Nonembeddings of Combinatory Algebras math.LO · 2026 · author #3
- The noneffectivity of Arslanov's completeness criterion and related theorems math.LO · 2018 · author #1
- Generalizations of the Recursion Theorem math.LO · 2018 · author #1
- Covering the recursive sets math.LO · 2017 · author #3
- Effective Genericity and Differentiability math.LO · 2013 · author #2
- Generalizations of the Weak Law of the Excluded Middle math.LO · 2011 · author #2
- Intuitionistic Logic and Muchnik Degrees math.LO · 2010 · author #2
- The finite intervals of the Muchnik lattice math.LO · 2006 · author #1
- On the structure of the Medvedev lattice math.LO · 2006 · author #1
- Intermediate logics and factors of the Medvedev lattice math.LO · 2006 · author #2
- The Arithmetical Complexity of Dimension and Randomness cs.LO · 2004 · author #3
Mentions
Frequent Coauthors
- Andrea Sorbi 3 shared papers
- Bj{\o}rn Kjos-Hanssen 1 shared papers
- Frank Stephan 1 shared papers
- Jack H. Lutz 1 shared papers
- John M. Hitchcock 1 shared papers
- Patrick Lutz 1 shared papers
- Paul Shafer 1 shared papers
- Rutger Kuyper 1 shared papers