Papers
-
When does every definable nonempty set have a definable element?
(With J. D. Hamkins)
-
Reverse mathematics of compact countable second-countable spaces
-
Schmerl decompositions in first order arithmetic
(With Z. Evans, M. Groszek, S. Harris and T. Slaman)
-
On uniform relationships between combinatorial problems
(With D. D. Dzhafarov, J. L. Hirst, J. R. Mileti and P. Shafer)
-
Isotopy and homotopy invariants of classical and virtual pseudoknots
(With A. Henrich, S. Jablan and I. Johnson)
-
Comparing the strength of diagonally non-recursive functions in the absence of $\Sigma^0_2$ induction
(With J. L. Hirst and P. Shafer)
-
Classical consequences of continuous choice principles from intuitionistic analysis
-
Reverse mathematics and algebraic field extensions
(With J. L. Hirst and P. Shafer)
-
On some properties of Hamel bases and their applications to Marczewski measurable functions
(With R. Filipów and T. Natkaniec)
-
Automorphism groups of countably categorical linear orders are extremely amenable
(With S. Gubkin, D. McDonald and M. Rivera)
-
A note on conjectures of F. Galvin and R. Rado
-
Reverse mathematics, trichotomy, and dichotomy
(With J. L. Hirst and P. Shafer)
-
On the indecomposability of $\omega^n$
(With J. Corduan)
-
A variant of Mathias forcing that preserves $\mathsf{ACA}_0$
-
A Wieferich prime search up to $6.7\times10^{15}$
(With D. Klyve)
-
Stationary and convergent strategies in Choquet games
(With C. Mummert)
-
A note on the Artin-Schreier Theorem
-
Another note on Dilworth's theorem in the infinite case
-
Algebraic sums of sets in Marczewski–Burstin algebras
(With R. Filipów)
Coauthors