20 found
Order:
  1.  76
    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   9 citations  
  3.  61
    Countable homogeneous relational structures and ℵ0-categorical theories.C. Ward Henson - 1972 - Journal of Symbolic Logic 37 (3):494 - 500.
  4. 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.
  5.  45
    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. 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.
  7.  35
    Finite sets in Quine's new foundations.C. Ward Henson - 1969 - Journal of Symbolic Logic 34 (4):589-596.
    In this paper we consider some axiomatic systems of set theory related to the system NF (New Foundations) of Quine. In particular we discuss the possible relations of cardinality between a finite set x and its subset class SC(x) = {y | y ∩ x} and also between x and its unit set class USC(x) = {{y} | y ε x}. Specker [5] has shown that in NF the cardinal of a finite set x can never be the same as (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  16
    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.
    We give a model-theoretic account for several results regarding sequences of random variables appearing in Berkes and Rosenthal [12]. In order to do this,•We study and compare three notions of convergence of types in a stable theory: logic convergence, i.e., formula by formula, metric convergence (both already well studied) and convergence of canonical bases. In particular, we characterise א0-categorical stable theories in which the last two agree.•We characterise sequences that admit almost indiscernible sub-sequences.•We apply these tools to the theory of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  39
    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.
  10.  53
    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.
  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.  30
    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  
  13.  52
    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.
  14.  31
    Permutation methods applied to Quine's "new foundations".C. Ward Henson - 1973 - Journal of Symbolic Logic 38 (1):69-76.
  15.  23
    Strong counterexamples to Borel hyperdeterminacy.C. Ward Henson - 1992 - Archive for Mathematical Logic 31 (3):215-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Review: Oliver Aberth, Computable Analysis. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
  17.  26
    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  
  18.  9
    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.
  19.  9
    Review: A. H. Lightstone, Abraham Robinson, Nonarchimedean Fields and Asymptotic Expansions. [REVIEW]C. Ward Henson - 1981 - Journal of Symbolic Logic 46 (1):163-164.
  20.  45
    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