dblp.uni-trier.dewww.uni-trier.de

C. Ward Henson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1Kevin J. Compton [11]
2S. Heinrich [9] [10]
3Bjarni Jónsson [6]
4Matt Kaufmann [7]
5H. Jerome Keisler [7] [8]
6E. G. K. López-Escobar [6]
7L. C. Moore Jr. [9] [10]
8Michael D. Resnik [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)