C. Ward Henson

17 papers Journal 17
YearRankTypeTitle / Venue / Authors
2020 J jnl
Model theory of R-trees.
J. Log. Anal.
Sylvia Carlisle, C. Ward Henson
2014 J jnl
Almost indiscernible Sequences and convergence of Canonical Bases.
J. Symb. Log.
Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson
2011 J jnl
Quantifier elimination in the theory of L
J. Log. Anal.
C. Ward Henson, Yves Raynaud
2007 J jnl
On finite approximations of topological algebraic systems.
J. Symb. Log.
Lev Yu. Glebsky, E. I. Gordon, C. Ward Henson
1992 J jnl
Strong counterexamples to Borel hyperdeterminacy.
Arch. Math. Log.
C. Ward Henson
1990 J jnl
A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories.
Ann. Pure Appl. Log.
Kevin J. Compton, C. Ward Henson
1987 J jnl
A Note on Elementary Equivalence of C(K) Space.
J. Symb. Log.
Stefan Heinrich, C. Ward Henson, Lawrence Carlton Moore Jr.
1987 J jnl
Nonconvergence, undecidability, and intractability in asymptotic problems.
Ann. Pure Appl. Log.
Kevin J. Compton, C. Ward Henson, Saharon Shelah
1986 J jnl
Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K.
J. Symb. Log.
Stefan Heinrich, C. Ward Henson, Lawrence Carlton Moore Jr.
1986 J jnl
On the Strength of Nonstandard Analysis.
J. Symb. Log.
C. Ward Henson, H. Jerome Keisler
1984 J jnl
The Strength of Nonstandard Methods in Arithmetic.
J. Symb. Log.
C. Ward Henson, Matt Kaufmann, H. Jerome Keisler
1974 J jnl
Meeting of the Association for Symbolic Logic: Atlanta 1973.
J. Symb. Log.
C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik
1974 J jnl
The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces.
J. Symb. Log.
C. Ward Henson
1973 J jnl
Permutation Methods Applied to Quine's "New Foundations".
J. Symb. Log.
C. Ward Henson
1973 J jnl
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".
J. Symb. Log.
C. Ward Henson
1972 J jnl
Countable Homogeneous Relational Structures and N
J. Symb. Log.
C. Ward Henson
1969 J jnl
Finite Sets in Quine's New Foundations.
J. Symb. Log.
C. Ward Henson