Ad and the Supercompactness of 1. - Howard Becker (J. Symb. Log., 1981)

Determinacy of Banach Games. - Howard Becker (J. Symb. Log., 1985)

A Characterization of Jump Operators. - Howard Becker (J. Symb. Log., 1988)

The Topological Vaught's Conjecture and Minimal Counterexamples. - Howard Becker (J. Symb. Log., 1994)

The Number of Path-Components of a Compact Subset of ℝ n. - Howard Becker (Logic Colloquium, 1995)

Topics in invariant descriptive set theory. - Howard Becker (Ann. Pure Appl. Log., 2001)

Supercompactness within The Projective Hierarchy. - Howard Becker; Steve Jackson 001 (J. Symb. Log., 2001)

The restriction of a Borel equivalence relation to a sparse set. - Howard Becker (Arch. Math. Log., 2003)

Isomorphism of computable structures and Vaught's Conjecture. - Howard Becker (J. Symb. Log., 2013)

Strange Structures from Computable Model Theory. - Howard Becker (Notre Dame J. Formal Log., 2017)

Assigning an Isomorphism Type to a Hyperdegree. - Howard Becker (J. Symb. Log., 2020)