C. Ward Henson

Publication Activity (10 Years)

Years Active: 1969-2020
Publications (10 Years): 1

Top Topics

Iterative Algorithms

Convergence Speed

Top Venues

Publications

Sylvia Carlisle, C. Ward Henson
Model theory of R-trees. J. Log. Anal. 12 (2020)
Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson
Almost indiscernible Sequences and convergence of Canonical Bases. J. Symb. Log. 79 (2) (2014)
C. Ward Henson, Yves Raynaud
) Banach lattices. J. Log. Anal. 3 (2011)
C. Ward Henson
Strong counterexamples to Borel hyperdeterminacy. Arch. Math. Log. 31 (3) (1992)
Kevin J. Compton, C. Ward Henson
A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories. Ann. Pure Appl. Log. 48 (1) (1990)
Stefan Heinrich, C. Ward Henson, Lawrence Carlton Moore Jr.
A Note on Elementary Equivalence of C(K) Space. J. Symb. Log. 52 (2) (1987)
Kevin J. Compton, C. Ward Henson, Saharon Shelah
Nonconvergence, undecidability, and intractability in asymptotic problems. Ann. Pure Appl. Log. 36 (1987)
Stefan Heinrich, C. Ward Henson, Lawrence Carlton Moore Jr.
Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K. J. Symb. Log. 51 (1) (1986)
C. Ward Henson, H. Jerome Keisler
On the Strength of Nonstandard Analysis. J. Symb. Log. 51 (2) (1986)
C. Ward Henson, Matt Kaufmann, H. Jerome Keisler
The Strength of Nonstandard Methods in Arithmetic. J. Symb. Log. 49 (4) (1984)
C. Ward Henson
The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces. J. Symb. Log. 39 (4) (1974)
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) (1974)
C. Ward Henson
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations". J. Symb. Log. 38 (1) (1973)
C. Ward Henson
Permutation Methods Applied to Quine's "New Foundations". J. Symb. Log. 38 (1) (1973)
C. Ward Henson
-Categorical Theories. J. Symb. Log. 37 (3) (1972)
C. Ward Henson
Finite Sets in Quine's New Foundations. J. Symb. Log. 34 (4) (1969)