1. [pdf] Δ 02-Categoricity in Boolean Algebras
  2. [pdf] Relative Categoricity in Boolean Algebras
  3. [pdf] Isomorphism Types in the Back-and-Forth Hierarchy
  4. [pdf] Boolean Algebra Approximations with Antonio Montalbán
    Submitted for publication.
  5. [pdf] On the n-Back-and-Forth Types of Boolean Algebras with Antonio Montalbán
    To apppear in Transactions of the AMS
    [web] Back-and-forth types through level 6.
  6. [pdf] η-Representation of Sets and Degrees
    Journal of the Symbolic Logic 73 (2008): 1097-1121.
  7. [pdf] A Characterization of the lown Degrees by Escape Functions
    Submitted for publication.
  8. [pdf] On Bounding Saturated Models
    Submitted for publication.
  9. [pdf] The Reverse Mathematics of Saturated Models.
  10. [pdf] Shortest Axiomatizations of Implicational S4 and S5 with Zac Ernst and Branden Fitelson and Larry Wos
    Notre Dame Journal of Formal Logic 43 (2002): 169-179.
  11. [pdf] Short Single Axioms for Boolean Algebra with Bill McCune and Bob Veroff and Branden Fitelson and Andrew Feist and Larry Wos
    Journal of Automated Reasoning 29 (2002): 1-16.
  12. [pdf] A Concise Axiomatization of RM -> with Zac Ernest and Branden Fitelson and Larry Wos
    Bulletin of the Section of Logic 30 (2001): 191-194.
  13. [pdf] Distributivity in L-Aleph-0 and Other Sentential Logics with Branden Fitelson
    Journal of Automated Reasoning 27 (2001): 141-156.
  14. [pdf] Comments on Some Completeness Theorems of Urquhart and Mendez & Salto with Branden Fitelson
    Journal of Philosophical Logic 30 (2001): 51-55.