1990 |
11 | | Kevin J. Compton,
C. Ward Henson:
A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories.
Ann. Pure Appl. Logic 48(1): 1-79 (1990) |
1987 |
10 | | S. Heinrich,
C. Ward Henson,
L. C. Moore Jr.:
A Note on Elementary Equivalence of C(K) Space.
J. Symb. Log. 52(2): 368-373 (1987) |
1986 |
9 | | S. Heinrich,
C. Ward Henson,
L. C. Moore Jr.:
Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K.
J. Symb. Log. 51(1): 135-146 (1986) |
8 | | C. Ward Henson,
H. Jerome Keisler:
On the Strength of Nonstandard Analysis.
J. Symb. Log. 51(2): 377-386 (1986) |
1984 |
7 | | C. Ward Henson,
Matt Kaufmann,
H. Jerome Keisler:
The Strength of Nonstandard Methods in Arithmetic.
J. Symb. Log. 49(4): 1039-1058 (1984) |
1974 |
6 | | C. Ward Henson,
Bjarni Jónsson,
E. G. K. López-Escobar,
Michael D. Resnik:
Meeting of the Association for Symbolic Logic: Atlanta 1973.
J. Symb. Log. 39(2): 390-405 (1974) |
5 | | C. Ward Henson:
The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces.
J. Symb. Log. 39(4): 717-731 (1974) |
1973 |
4 | | C. Ward Henson:
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".
J. Symb. Log. 38(1): 59-68 (1973) |
3 | | C. Ward Henson:
Permutation Methods Applied to Quine's "New Foundations".
J. Symb. Log. 38(1): 69-76 (1973) |
1972 |
2 | | C. Ward Henson:
Countable Homogeneous Relational Structures and N0-Categorical Theories.
J. Symb. Log. 37(3): 494-500 (1972) |
1969 |
1 | | C. Ward Henson:
Finite Sets in Quine's New Foundations.
J. Symb. Log. 34(4): 589-596 (1969) |