12 found
Order:
  1. Weak Strong Partition Cardinals.J. M. Henle - 1984 - Journal of Symbolic Logic 49 (2):555-557.
  2.  65
    Some Consequences of an Infinite-Exponent Partition Relation.J. M. Henle - 1977 - Journal of Symbolic Logic 42 (4):523-526.
  3.  34
    A Flipping Characterization of Ramsey Cardinals.J. M. Henle & E. M. Kleinberg - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):31-36.
  4.  22
    The Normal Depth of Filters on an Infinite Cardinal.C. A. di Prisco, M. Fuller & J. M. Henle - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):293-296.
  5.  28
    Partition Properties and Prikry Forcing on Simple Spaces.J. M. Henle - 1990 - Journal of Symbolic Logic 55 (3):938-947.
  6.  27
    Spector Forcing.J. M. Henle - 1984 - Journal of Symbolic Logic 49 (2):542-554.
    Forcing with [κ] κ over a model of set theory with a strong partition cardinal, M. Spector produced a generic ultrafilter G on κ such that κ κ /G is not well-founded. Theorem. Let G be Spector-generic over a model M of $ZF + DC + \kappa \rightarrow (\kappa)^\kappa_\alpha, \kappa > \omega$ , for all $\alpha . 1) Every cardinal (well-ordered or not) of M is a cardinal of M[ G]. 2) If A ∈ M[ G] is a well-ordered subset (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Magidor-Like and Radin-Like Forcing.J. M. Henle - 1983 - Annals of Pure and Applied Logic 25 (1):59-72.
  8.  9
    A Flipping Characterization of Ramsey Cardinals.J. M. Henle & E. M. Kleinberg - 1978 - Mathematical Logic Quarterly 24 (1‐6):31-36.
  9.  22
    The Consistency of One Fixed Omega.J. M. Henle - 1995 - Journal of Symbolic Logic 60 (1):172-177.
    The paper "Partitions of Products" [DiPH] investigated the polarized partition relation $\begin{pmatrix}\omega\\\omega\\\omega\\\vdots\end{pmatrix} \rightarrow \begin{pmatrix}\alpha_1\\\alpha_1\\\alpha_2\\\vdots \end{pmatrix}$ The relation is consistent relative to an inaccessible cardinal if every α i is finite, but inconsistent if two are infinite. We show here that it consistent (relative to an inaccessible) for one to be infinite. Along the way, we prove an interesting proposition from ZFC concerning partitions of the finite subsets of ω.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10.  13
    On the Ultrafilters and Ultrapowers of Strong Partition Cardinals.J. M. Henle, E. M. Kleinberg & R. J. Watro - 1984 - Journal of Symbolic Logic 49 (4):1268-1272.
  11.  23
    Second-Order Non-Nonstandard Analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.
    Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Concerning Ultrafilters on Ultrapowers.J. M. Henle - 1987 - Journal of Symbolic Logic 52 (1):149-151.