Kenneth Kunen

Papers Before 1995

Sorry -- just a list -- these weren't done in TeX.
  1. Implicit definability and infinitary languages, J. Symbolic Logic, (1968), Vol. 33, pp. 446-451.
  2. Some applications of iterated ultrapowers in set theory, Annals Math. Log., Vol. 1 (1970), pp. 179-227.
  3. Boolean extensions and measurable cardinals (with J. Paris), Annals Math. Log., Vol. 2 (1971), pp. 359-377.
  4. Indescribability and the continuum, Axiomatic Set Theory, AMS Proc. Symp. Pure Math, 13 part 1, (1971), pp. 199-203.
  5. Ultrafilters and independent sets, Trans. AMS, Vol. 172 (1972), pp. 299-306.
  6. Elementary embeddings and infinitary combinatorics J. Symbolic Logic, Vol. 36 (1971), pp. 407-413.
  7. Hanf numbers for fragments of $\L_{omega_1,omega_1}$ (with J. Barwise), Israel J. Math. Vol. 10 (1971), pp. 306-320.
  8. On the GCH at measurable cardinals, Logic Coll., (1971), pp. 107-110.
  9. On descendingly incomplete ultrafilters (with K. Prikry), J. Symbolic Logic (1971), pp. 650-652.
  10. A model for the negation of the axiom of choice, Springer Lecture Notes, \#337 - Proc. of Cambridge Summer School (1973), pp. 489-493.
  11. On the weight of Hausdorff spaces (with I. Juhász),(1973), J. Gen. Top. Vol. 3, pp. 47-49.
  12. Some comment on box products, Coll. Math. Soc., Janos Bolyai 10 (1973), pp. 1011-1016.
  13. Paracompactness of box products of compact spaces, AMS Transactions 240 (1978), pp. 307-316.
  14. Combinatorics: Handbook of Mathematical Logic, North Holland (1978), pp. 371-403.
  15. Between Martins axiom and Suslin's hypothesis (with F. Tall), Fund. Math. 102 (1979), pp. 173-181.
  16. Attaining the spread at cardinals of confinality w (with J. Roitman), Pacific J. Math. 70 (1977), pp. 199-205.
  17. Some points in BN, Proc. Cambridge Philos. Soc., Vol. 80 (1976), pp. 385-398.
  18. Two more hereditarily separable non-Lindelöf spaces (with I. Juhász and M. E. Rudin), Canadian J. Math. Vol. 28 (1976), pp. 998-1005.
  19. Luzin spaces, Topology Proceedings (for Auburn meeting, Spring 1976), pp. 19l-199.
  20. Strong S and L spaces under MA, Set Theoretic Topology (Proc. of Athens Meeting, Spring 1976), pp. 265-268.
  21. Bairly Baire spaces (with W. Fleissner), Fund. Math. 101 (1978), pp. 229-240.
  22. Topologies determined by $\sigma$ ideals on $\omega_1$ (with S. Broverman, J. Ginsburg, and F. Tall), Canadian J. Math. 30 (1978), pp. 1306-1312.
  23. Saturated ideals, J. Symbolic Logic 43 (1978), pp. 65-76.
  24. Projective covers of ordinal subspaces (with Lee Parsons), Topology Proc. 3 (1978), pp. 407-428.
  25. On nowhere dense closed P-sets (with J. Van Mill and C. Mills), AMS Proceedings 78 (1980), pp. 119-123.
  26. Weak P-points in N*, Colloq. Math. Sco. Janos Bolyai 23 (1980), pp. 741-749.
  27. A compact L-space under CH, Topology and Applications 12 (1981), pp. 283-287.
  28. On the pi-character of ultrafilters (with M. Bell), C. R. Math. Rep. Acad. Sci. Canada 3 (1981), pp. 351-356.
  29. Some additive properties of sets of real numbers (with P. Erdös and D. Mauldin), Fund. Math. 113 (1981) 187-199.
  30. L-spaces and S-spaces in $\mathcal{P}(\omega)$ (with E. van Douwen), Topology and Applications l4 (1982), pp. 143-149.
  31. Arc components in metric continua (with M Starbird), Topology and Applications 14 (1982), pp. 167-170.
  32. Maximal $\sigma$-independent families, Fundamenta Math. 117 (1983), 75-80.
  33. Martingale proofs of some geometric results in Banach space theory (with H. Rosenthal), Pacific Journal 100 (1982), 153-175.
  34. A minimal degree which collapses $\omega_1$ (with T. Carlson & A. Miller) J. Symbolic Logic 49 (1984) 298-300.
  35. Baire irresolvable spaces and ideal theory (with A. Szymanski and F. Tall), Annals Math. Silesiana, 14 (1986) 98-107.
  36. Borel and projective sets from the point of view of compact sets (with A. Miller), Mathematical Proceedings of Cambridge Phil. Soc., 94 (1983), 399-409.
  37. Box products of ordered spaces, Topology and Applications 20 (1985) 245-250.
  38. On a combinatorial property of Menas(with D. Pelletier), J. Symbolic Logic 48 (1983) 475-48l.
  39. Random and Cohen Reals, Handbook of Set-Theoretic Topology (1984), 887-911.
  40. Completeness results for inequality provers (with W. Bledsoe and R. Shostak), Artificial Intelligence 27 (1985) 255-288.
  41. On ordinal-metric intersection topologies, Topology and Applications 22 (1986) 315-319.
  42. Negation in logic programming, 4(1987) 289-308, J. Logic Programming.
  43. Where MA first fails, J. Symbolic Logic, 53 (1988) 429-433.
  44. Answer sets and negation-as-failure, in: J.-L. Lassez (ed.) Logic Programming (Proc. Fourth International Conference), MIT Press 1987, pp. 219-228.
  45. Partitioning Euclidean Space, Math. Proc. Cambridge Philosophical Society. 102 (1987) 379-383.
  46. Solution of Kuratowski's problem on functions having the Baire property (with R. Frankiewicz), Fundamenta Math. 128 (1987) 171-180.
  47. Some remarks on the completed database, in: Logic Programming MIT Press, (1988) 978-992.
  48. On inhomogeneity of products of compact F-spaces (with R. Frankiewicz and P. Zbierski), Fundamenta Math. 129 (1988) 35-38.
  49. There can be $C^*$-embedded dense proper subspaces in $\beta \omega -\omega $ (with E.K. van Douwen and J. van Mill), AMS Proceedings, 105 (1989) 462-470.
  50. Signed data dependencies in logic programs, J. Logic Programming 7 (1989) 231-245.
  51. Rigid P-spaces, Fund. Math. 133 (1989) 59-65.
  52. Descriptive set theory over hyperfinite sets (with H.J. Keisler, A. Miller, S. Leth), J. Symbolic Logic, 54 (1989) 1167-1180.
  53. Two remarks about analytic sets (with F. van Engelen and A. Miller), Lecture Notes in Mathematics, Springer-Verlag 1401 (1989) 68-72.
  54. On sigma-centered Posets (with I. Juhász), in A Tribute to Paul Erdös, Cambridge Univeristy Press, 1990, pp. 307-311.
  55. Normality and paracompactness in box products (with E.K. van Douwen), Topology and Applications, 35 (1990) 157-161.
  56. Large homogeneous compact spaces, Problems in Topology (J. von Mill & G.M Reed, eds.), North-Holland, 1990 pp. 261-270.
  57. Essentially unbounded chains in compact sets (with D. Fremlin), Math. Proc. Cambridge Phil. Soc. 109 (1991) 149-160.
  58. Polynomial Time Compression (with J. Goldsmith and L.A. Hemachandra), Computational Complexity, 2 (1992) 18-39.
  59. Declarative Semantics for Logic Programs, Bulletin of the European Association for Theoretical Computer Science, 1991, 21 pp.
  60. Single Axioms for Groups, Journal of Automated Reasoning, 9 (1992) 291-308.
  61. Measures on compact HS spaces (with M. Dzamonja), Fundamenta Math. 143 (1993) 41-54.
  62. On the open-open game (with P. Daniels & H. Zhou), Fundamenta Math. 145 (1994) 205-220.