21 found
Sort by:
  1. Kenneth Kunen & Dilip Raghavan (2009). Gregory Trees, the Continuum, and Martin's Axiom. Journal of Symbolic Logic 74 (2):712-720.
    We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. John Baldwin, Lev Beklemishev, Michael Hallett, Valentina Harizanov, Steve Jackson, Kenneth Kunen, Angus J. MacIntyre, Penelope Maddy, Joe Miller & Michael Rathjen (2005). Carnegie Mellon University, Pittsburgh, PA May 19–23, 2004. Bulletin of Symbolic Logic 11 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Kenneth Kunen & Franklin D. Tall (2000). The Real Line in Elementary Submodels of Set Theory. Journal of Symbolic Logic 65 (2):683-691.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. H. Jerome Keisler, Kenneth Kunen, Arnold Miller & Steven Leth (1989). Descriptive Set Theory Over Hyperfinite Sets. Journal of Symbolic Logic 54 (4):1167-1180.
    The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Kenneth Kunen (1988). Where Ma First Fails. Journal of Symbolic Logic 53 (2):429-433.
    If θ is any singular cardinal of cofinality ω 1 , we produce a forcing extension in which MA holds below θ but fails at θ. The failure is due to a partial order which splits a gap of size θ in P(ω).
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Tim Carlson, Kenneth Kunen & Arnold W. Miller (1984). A Minimal Degree Which Collapses Ω. Journal of Symbolic Logic 49 (1):298 - 300.
    We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming MA + ≠ CH, every new real constructs the collapsing map.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Tim Carlson, Kenneth Kunen & Arnold W. Miller (1984). A Minimal Degree Which Collapses $Omega_1$. Journal of Symbolic Logic 49 (1):298-300.
    We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming $MA + \neq CH$, every new real constructs the collapsing map.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Kenneth Kunen & Donald H. Pelletier (1983). On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals. Journal of Symbolic Logic 48 (2):475-481.
    T. K. Menas [4, pp. 225-234] introduced a combinatorial property χ (μ) of a measure μ on a supercompact cardinal κ and proved that measures with this property also have the partition property. We prove here that Menas' property is not equivalent to the partition property. We also show that if α is the least cardinal greater than κ such that P κ α bears a measure without the partition property, then α is inaccessible and Π 2 1 -indescribable.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Kenneth Kunen (1981). Review: Herbert B. Enderton, Elements of Set Theory. [REVIEW] Journal of Symbolic Logic 46 (1):164-165.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) (1980). The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  11. John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis (1979). The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 44 (3):469-480.
  12. Jon Barwise, Kenneth Kunen & Joseph Ullian (1978). Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. Journal of Symbolic Logic 43 (2):365-372.
  13. Kenneth Kunen (1978). Saturated Ideals. Journal of Symbolic Logic 43 (1):65-76.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Kenneth Kunen (1975). Review: J. R. Shoenfield, Measurable Cardinals. [REVIEW] Journal of Symbolic Logic 40 (1):93-94.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Kenneth Kunen (1973). XVI. A Model for the Negation of the Axiom of Choice. In. In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag. 489--494.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Kenneth Kunen (1971). Elementary Embeddings and Infinitary Combinatorics. Journal of Symbolic Logic 36 (3):407-413.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Kenneth Kunen & Karel Prikry (1971). On Descendingly Incomplete Ultrafilters. Journal of Symbolic Logic 36 (4):650-652.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Kenneth Kunen (1970). Review: Paul J. Cohen, Set Theory and the Continuum Hypothesis. [REVIEW] Journal of Symbolic Logic 35 (4):591-592.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Kenneth Kunen (1970). Some Applications of Iterated Ultrapowers in Set Theory. Annals of Mathematical Logic 1 (2):179-227.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Kenneth Kunen (1969). [Omnibus Review]. Journal of Symbolic Logic 34 (3):515-516.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Kenneth Kunen (1968). Implicit Definability and Infinitary Languages. Journal of Symbolic Logic 33 (3):446-451.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation