20 found
Order:
  1.  53
    On the Strength of Nonstandard Analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
  2. The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
    We consider extensions of Peano arithmetic suitable for doing some of nonstandard analysis, in which there is a predicate N(x) for an elementary initial segment, along with axiom schemes approximating ω 1 -saturation. We prove that such systems have the same proof-theoretic strength as their natural analogues in second order arithmetic. We close by presenting an even stronger extension of Peano arithmetic, which is equivalent to ZF for arithmetic statements.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3. The Isomorphism Property in Nonstandard Analysis and its Use in the Theory of Banach Spaces.C. Ward Henson - 1974 - Journal of Symbolic Logic 39 (4):717-731.
  4.  39
    Countable Homogeneous Relational Structures and ℵ0-Categorical Theories.C. Ward Henson - 1972 - Journal of Symbolic Logic 37 (3):494 - 500.
  5.  28
    Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".C. Ward Henson - 1973 - Journal of Symbolic Logic 38 (1):59-68.
  6. Review: Oliver Aberth, Computable Analysis. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
  7. Meeting of the Association for Symbolic Logic: Atlanta 1973.C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik - 1974 - Journal of Symbolic Logic 39 (2):390-405.
  8.  23
    A Note on Elementary Equivalence of C(K) Space.S. Heinrich, C. Ward Henson & L. C. Moore - 1987 - Journal of Symbolic Logic 52 (2):368-373.
  9.  7
    Almost Indiscernible Sequences and Convergence of Canonical Bases.Itaï Ben Yaacov, Alexander Berenstein & C. Ward Henson - 2014 - Journal of Symbolic Logic 79 (2):460-484.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  37
    Ronald Björn Jensen. On the Consistency of a Slight Modification of Quine's New Foundations. Words and Objections, Essays on the Work of W. V. Quine, Edited by Donald Davidson and Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1969, Pp. 278–291. , Pp. 250–263.) - W. V. Quine. Reply to Jensen. Words and Objections, Essays on the Work of W. V. Quine, Edited by Donald Davidson and Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1969, Pp. 349–352. [REVIEW]C. Ward Henson - 1975 - Journal of Symbolic Logic 40 (2):241-242.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11. Association for Symbolic Logic.Jon Barwise, Howard S. Becker, Chi Tat Chong, Herbert B. Enderton, Michael Hallett, C. Ward Henson, Harold Hodes, Neil Immerman, Phokion Kolaitis & Alistair Lachlan - 1998 - Bulletin of Symbolic Logic 4 (4):465-510.
  12.  12
    A. H. Lightstone and Abraham Robinson. Nonarchimedean Fields and Asymptotic Expansions. North-Holland Mathematical Library, Vol. 13. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, X + 204 Pp. [REVIEW]C. Ward Henson - 1981 - Journal of Symbolic Logic 46 (1):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  18
    Strong Counterexamples to Borel Hyperdeterminacy.C. Ward Henson - 1992 - Archive for Mathematical Logic 31 (3):215-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    San Antonio Convention Center San Antonio, Texas January 14–15, 2006.Douglas Cenzer, C. Ward Henson, Michael C. Laskowski, Alain Louveau, Russell Miller, Itay Neeman, Sergei Starchenko & Valentina Harizanov - 2006 - Bulletin of Symbolic Logic 12 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  40
    Elementary Equivalence of Cσ(K) Spaces for Totally Disconnected, Compact Hausdorff K.S. Heinrich, C. Ward Henson & L. C. Moore - 1986 - Journal of Symbolic Logic 51 (1):135 - 146.
  16.  34
    2001 Annual Meeting of the Association for Symbolic Logic.Joan Feigenbaum, Haim Gaifman, Jean-Yves Girard, C. Ward Henson, Denis Hirschfeldt, Carl G. Jockusch Jr, Saul Kripke, Salma Kuhlmann, John C. Mitchell & Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (3):420-435.
  17.  5
    Aberth Oliver. Computable Analysis. Advanced Book Program. McGraw-Hill International Book Company, New York Etc. 1980, Xi + 187 Pp. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
  18.  5
    Review: A. H. Lightstone, Abraham Robinson, Nonarchimedean Fields and Asymptotic Expansions. [REVIEW]C. Ward Henson - 1981 - Journal of Symbolic Logic 46 (1):163-164.
  19.  27
    Finite Sets in Quine's New Foundations.C. Ward Henson - 1969 - Journal of Symbolic Logic 34 (4):589-596.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  22
    Permutation Methods Applied to Quine's "New Foundations".C. Ward Henson - 1973 - Journal of Symbolic Logic 38 (1):69-76.