Publications
Linear orders with distinguished function symbol. Arch. Math. Logic, 48, 63–76. doi:10.1007/s00153-008-0112-4
. (2009). The settling time reducibility ordering and $\Delta_2^0$ sets. J. Logic Comput., 19, 145–150. doi:10.1093/logcom/exn031
. (2009). The strength of the rainbow Ramsey theorem. J. Symbolic Logic, 74, 1310–1324. doi:10.2178/jsl/1254748693
. (2009). . (2007). The settling-time reducibility ordering. J. Symbolic Logic, 72, 1055–1071. doi:10.2178/jsl/1191333856
. (2007). Boolean algebras, Tarski invariants, and index sets. Notre Dame J. Formal Logic, 47, 1–23. doi:10.1305/ndjfl/1143468308
. (2006). Every 1-generic computes a properly 1-generic. J. Symbolic Logic, 71, 1385–1393. doi:10.2178/jsl/1164060461
. (2006). A minimal pair of $K$-degrees. Proc. Amer. Math. Soc., 134, 1499–1502. doi:10.1090/S0002-9939-05-08086-X
. (2006). Computability results used in differential geometry. J. Symbolic Logic, 71, 1394–1410. doi:10.2178/jsl/1164060462
. (2006). . (2004). . (2004). . (2020).