C. Ward Henson

17 papers Journal 17

Year	Rank	Type	Title / 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