C. Ward Henson

According to our database, C. Ward Henson authored at least 17 papers between 1969 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2020

Model theory of R-trees.

Sylvia Carlisle, C. Ward Henson

J. Log. Anal., 2020

2014

Almost indiscernible Sequences and convergence of Canonical Bases.

Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson

J. Symb. Log., 2014

2011

Quantifier elimination in the theory of L_p(L_q) Banach lattices.

C. Ward Henson, Yves Raynaud

J. Log. Anal., 2011

2007

On finite approximations of topological algebraic systems.

Lev Yu. Glebsky, E. I. Gordon, C. Ward Henson

J. Symb. Log., 2007

1992

Strong counterexamples to Borel hyperdeterminacy.

C. Ward Henson

Arch. Math. Log., 1992

1990

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

1987

A Note on Elementary Equivalence of C(K) Space.

Stefan Heinrich, C. Ward Henson, Lawrence Carlton Moore Jr.

J. Symb. Log., 1987

Nonconvergence, undecidability, and intractability in asymptotic problems.

Kevin J. Compton, C. Ward Henson, Saharon Shelah

Ann. Pure Appl. Log., 1987

1986

On the Strength of Nonstandard Analysis.

C. Ward Henson, H. Jerome Keisler

J. Symb. Log., 1986

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

1984

The Strength of Nonstandard Methods in Arithmetic.

C. Ward Henson, Matt Kaufmann, H. Jerome Keisler

J. Symb. Log., 1984

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 Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces.

C. Ward Henson

J. Symb. Log., 1974

1973

Permutation Methods Applied to Quine's "New Foundations".

C. Ward Henson

J. Symb. Log., 1973

Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".

C. Ward Henson

J. Symb. Log., 1973

1972

Countable Homogeneous Relational Structures and N₀-Categorical Theories.

C. Ward Henson

J. Symb. Log., 1972

1969

Finite Sets in Quine's New Foundations.

C. Ward Henson

J. Symb. Log., 1969