Papers
- The failier of Selman's theorem for hyperenumeration reducibility Josiah Jacobsen-Grocott. Submitted. [pdf]
- Topological classification of classes of enumeration degrees Josiah Jacobsen-Grocott. Submitted. [pdf]
- Strong Minimal Pairs in the Enumeration Degrees Josiah Jacobsen-Grocott. Submitted. [pdf]
- A Characterization of the Strongly η-Representable Many-One Degrees Josiah Jacobsen-Grocott. Journal of Symbolic Logic. [pdf]
- Evolving Heuristics for Dynamic Vehicle Routing with Time Windows Using Genetic Programming Josiah Jacobsen-Grocott, Yi Mei, Gang Chen and Mengjie Zhang Proceedings of the IEEE Congress on Evolutionary Computation, 2017. [pdf]
Talks
-
The theory of degree structures with jump
UW Logic Seminar, 2024-02-20. [video] -
The failure of Selman's Theorem for hyperenumeration reducibility
Institute for Mathematical Sciences Graduate Summer School in Logic, 2023-06-28.
Victoria University of Wellington Logic Seminar, 2023-04-03.
Specialty Exam, UW Logic Seminar, 2022-02-28. [pdf]
Comuptability in Europe, 2022-07-12. [pdf]
University of Michigan Logic Seminar, 2022-11-30. [pdf] -
A Characterization of the Strongly η-Representable Many-One Degrees
Midwest Comuptability Seminar, 2021-09-13.
Logic Colloquium, Poznań, 2021-07-22. [pdf]
New England Recursion and Definability Seminar, Wellesley College, 2021-12-11. -
Classification of classes of enumeration degrees of
non-metrizable spaces by topological separation axioms
Computability in Europe, Ghent, 2021-07-09. [pdf]
Annual North American ASL Meeting, Notre Dame, 2021-06-24. -
Types of minimal pairs in the enumeration degrees
UW Logic Seminar, 2020-03-03. -
Infinitary Logic and the Harrison Linear Order
New Zealand Mathematics and Statistics Postgraduate Conference, 2017-11-28.
Conferences and workshops attended
- ASL North American Annual Meeting, Iowa State University, 2023-04-14
- 2024 Spring Central Sectional Meeting of AMS, University of Wisconsin-Milwaukee, 2024-04-20
- Institute for Mathematical Sciences Graduate Summer School in Logic, 2023-06-26.
- Computability in Europe, Swansea, 2022-07-11.
- New England Recursion and Definability Seminar, Wellesley College, 2021-12-11.
- Dagstuhl Seminar–Descriptive Set Theory and Computable Topology, Dagstuhl, 2021-11-14
- Logic Colloquium, Poznań, 2021-07-19.
- Computability in Europe, Ghent, 2021-07-05.
- Annual North American ASL Meeting, Notre Dame, 2021-06-21.
- Computability in Europe, 2020-06-29.
- AMS Sectional Meeting at the University of Wisconsin–Madison, 2019-09-14.
- Institute for Mathematical Sciences Graduate Summer School in Logic, 2019-07-01.
- Graduate Student Conference in Logic, 2019-04-13.
- New Zealand Mathematical Research Institute Summer School, 2018-01-07.
- New Zealand Mathematics and Statistics Postgraduate Conference, 2017-11-26.
- New Zealand Mathematical Research Institute Summer School, 2017-01-08
Honours project
Infinitary Logic and the Harrison Linear Order
Supervisor: Adam Day. [pdf]