Finite Sets in Quine's New Foundations. - C. Ward Henson (J. Symb. Log., 1969)

Countable Homogeneous Relational Structures and N0-Categorical Theories. - C. Ward Henson (J. Symb. Log., 1972)

Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations". - C. Ward Henson (J. Symb. Log., 1973)

Permutation Methods Applied to Quine's "New Foundations". - C. Ward Henson (J. Symb. Log., 1973)

The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces. - C. Ward Henson (J. Symb. Log., 1974)

Meeting of the Association for Symbolic Logic: Atlanta 1973. - C. Ward Henson; Bjarni Jónsson; E. G. K. López-Escobar; Michael D. Resnik (J. Symb. Log., 1974)

The Strength of Nonstandard Methods in Arithmetic. - C. Ward Henson; Matt Kaufmann; H. Jerome Keisler (J. Symb. Log., 1984)

Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K. - Stefan Heinrich; C. Ward Henson; Lawrence Carlton Moore Jr. (J. Symb. Log., 1986)

On the Strength of Nonstandard Analysis. - C. Ward Henson; H. Jerome Keisler (J. Symb. Log., 1986)

Nonconvergence, undecidability, and intractability in asymptotic problems. - Kevin J. Compton; C. Ward Henson; Saharon Shelah (Ann. Pure Appl. Log., 1987)

A Note on Elementary Equivalence of C(K) Space. - Stefan Heinrich; C. Ward Henson; Lawrence Carlton Moore Jr. (J. Symb. Log., 1987)

A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories. - Kevin J. Compton; C. Ward Henson (Ann. Pure Appl. Log., 1990)

Strong counterexamples to Borel hyperdeterminacy. - C. Ward Henson (Arch. Math. Log., 1992)

On finite approximations of topological algebraic systems. - Lev Yu. Glebsky; E. I. Gordon; C. Ward Henson (J. Symb. Log., 2007)

Quantifier elimination in the theory of Lp(Lq) Banach lattices. - C. Ward Henson; Yves Raynaud (J. Log. Anal., 2011)

Almost indiscernible Sequences and convergence of Canonical Bases. - Itaï Ben Yaacov; Alexander Berenstein; C. Ward Henson (J. Symb. Log., 2014)

Model theory of R-trees. - Sylvia Carlisle; C. Ward Henson (J. Log. Anal., 2020)