| Publication | Date of Publication | Type |
|---|
A proof of P!=NP
(available as arXiv preprint) | 2026-01-01 | Paper |
Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
(available as arXiv preprint) | 2026-01-01 | Paper |
| Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection | 2023-03-29 | Paper |
| Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection | 2022-09-28 | Paper |
Intrinsic justifications for large-cardinal axioms
Philosophia Mathematica | 2022-04-04 | Paper |
| A proof of P!=NP | 2020-05-19 | Paper |
| Brouwer fixed point theorem as a corollary of Lawvere | 2020-05-04 | Paper |
Building lattices and zeta functions
advg | 2020-04-17 | Paper |
Brouwer fixed point theorem as a corollary of Lawvere
(available as arXiv preprint) | 2020-01-01 | Paper |
Twisted Poincaré series and zeta functions on finite quotients of buildings
Journal of Algebraic Combinatorics | 2019-07-19 | Paper |
| New Large Cardinal Axioms and the Ultimate-L Program | 2018-12-10 | Paper |
A prime geodesic theorem for higher rank buildings
Kodai Mathematical Journal | 2018-09-14 | Paper |
THE HEISENBERG GROUP, SL(3, ℝ), AND RIGIDITY
Harmonic Analysis, Group Representations, Automorphic Forms and Invariant Theory | 2018-06-28 | Paper |
New Large Cardinal Axioms and the Ultimate-L Program
(available as arXiv preprint) | 2018-01-01 | Paper |
| The choiceless cardinals are inconsistent | 2017-12-27 | Paper |
| All large-cardinal axioms not known to be inconsistent with ZFC are justified | 2017-12-21 | Paper |
| Which axioms of set theory are intrinsically justified? | 2017-12-07 | Paper |
All large-cardinal axioms not known to be inconsistent with ZFC are justified
(available as arXiv preprint) | 2017-01-01 | Paper |
Which axioms of set theory are intrinsically justified?
(available as arXiv preprint) | 2017-01-01 | Paper |
WITHDRAWN: The choiceless cardinals are inconsistent
(available as arXiv preprint) | 2017-01-01 | Paper |
| Height growth on semisimple groups | 2015-12-23 | Paper |
Height growth on semisimple groups
(available as arXiv preprint) | 2015-01-01 | Paper |
| Free subgroups of special linear groups | 2014-03-31 | Paper |
| Rigidity of the group topology for closed Weyl transitive groups of automorphisms of a regular locally finite building | 2014-02-12 | Paper |
Rigidity of the group topology for closed Weyl transitive groups of automorphisms of a regular locally finite building
(available as arXiv preprint) | 2014-01-01 | Paper |
WITHDRAWN: Free subgroups of special linear groups
(available as arXiv preprint) | 2014-01-01 | Paper |
A local-to-global result for topological spherical buildings
Advances in Geometry | 2013-08-28 | Paper |
A consistency proof for some restrictions of Tait's reflection principles
Mathematical Logic Quarterly | 2013-04-09 | Paper |
| Topological rigidity in totally disconnected locally compact groups | 2012-10-04 | Paper |
Topological rigidity in totally disconnected locally compact groups
(available as arXiv preprint) | 2012-01-01 | Paper |
