| Publication | Date of Publication | Type |
|---|
Strengthening Consistency Results in Modal Logic
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
| Formal differential variables and an abstract chain rule | 2022-11-08 | Paper |
| Short-circuiting the definition of mathematical knowledge for an artificial general intelligence | 2021-10-18 | Paper |
Self-referential theories
Journal of Symbolic Logic | 2021-04-15 | Paper |
| Measuring the intelligence of an idealized mechanical knowing agent | 2019-12-02 | Paper |
Contours and tight clusters
Journal of Classification | 2016-10-04 | Paper |
Guessing, mind-changing, and the second ambiguous class
Notre Dame Journal of Formal Logic | 2016-05-25 | Paper |
Guessing, mind-changing, and the second ambiguous class
Notre Dame Journal of Formal Logic | 2016-05-25 | Paper |
An alternative construction of internodons: the emergence of a multi-level tree of life
Bulletin of Mathematical Biology | 2015-07-01 | Paper |
Fast-collapsing theories
Studia Logica | 2015-06-18 | Paper |
Arithmetical algorithms for elementary patterns
Archive for Mathematical Logic | 2015-02-23 | Paper |
A machine that knows its own code
Studia Logica | 2014-09-26 | Paper |
An axiomatic version of Fitch's paradox
Synthese | 2014-03-28 | Paper |
Biologically unavoidable sequences
The Electronic Journal of Combinatorics | 2013-06-07 | Paper |
Biologically unavoidable sequences
The Electronic Journal of Combinatorics | 2013-06-07 | Paper |
The first-order syntax of variadic functions
Notre Dame Journal of Formal Logic | 2013-01-30 | Paper |
The first-order syntax of variadic functions
Notre Dame Journal of Formal Logic | 2013-01-30 | Paper |
| The Rule of Global Necessitation | 2012-10-03 | Paper |
| Infinite graphs in systematic biology, with an application to the species problem | 2012-01-13 | Paper |
| A Dichotomy in Machine Knowledge | 2011-08-04 | Paper |
| A Cantor-Bendixson-like process which detects Delta_2^0 | 2011-06-13 | Paper |
| On Guessing Whether A Sequence Has A Certain Property | 2011-06-06 | Paper |
On Guessing Whether A Sequence Has A Certain Property
(available as arXiv preprint) | 2011-06-06 | Paper |
| On Guessing Whether A Sequence Has A Certain Property | 2011-06-06 | Paper |
| Highly lopsided information and the Borel hierarchy | 2011-06-01 | Paper |
