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