Robert Cowen

Mathematics Department

Queens College, CUNY

Flushing, NY 11367


 My research interests are set theory, logic, discrete math and the connections between these areas. A list of my published work         follows (many are downloadable in pdf form).   I am also very interested in using Mathematica to get students to discover        mathematics. I taught a course at Queens in our Mathematics Laboratory which teaches Mathematica through a series of      mathematical problems and have written a Lab Manual, with John Kennedy, called "Discovering Mathematics with Mathematica(available here). I am now retired but still actively engaged in research. 

Scholarly Work

  1. 1965. An elementary fixed point theorem, Amer. Math. Monthly 72, 165- 67.pdf
  2. 1970. A new proof of the compactness theorem for propositional logic, Notre Dame J. Formal Logic 11, 79-80. pdf
  3. 1971. Superinductive classes in class-set theory, Notre Dame J. Formal Logic 12, 62-68. pdf file
  4. 1972. A short proof of Rado's lemma, J. Combinatorial Theory 12, 299-300. pdf
  5. 1973. Some combinatorial theorems equivalent to the prime ideal theorem, Proc. Amer. Math. Soc. 41, 268-273. pdf
  6. 1975. A characterization of logical consequence in quantification theory,  Notre Dame J. Formal Logic 3, 375-377. pdf
  7. 1976. A simple proof of the reflection property for parabolas, Two-year College Math. J. 7, 59-60.
  8. 1976. Elementary equivalence and constructible models of ZF, Zeit. f. Math. Logik 22, 333-338.
  9. 1977. Generalizing Konig's infinity lemma, Notre Dame J. Formal Logic 18, 243-247. pdf
  10. 1977. Binary consistent choice on triples, Notre Dame J. Formal Logic 18, 310-312. pdf
  11. 1982. Solving algebraic problems in propositional logic by tableaux, Archiv. f. Math. Logik u. Grundl. 22, 187-190.
  12. 1982. Partition principles for problems of finite character, Reports on Math. Logic 14, 23-28.
  13. 1983. Compactness via prime semilattices, Notre Dame J. Formal Logic 24, 199-204. pdf
  14. 1986. Defective colorings of graphs in surfaces (with L. Cowen and D. Woodall), J. Graph Theory 10, 187-195. pdf
  15. 1990. Two hypergraph theorems equivalent to BPI, Notre Dame J. Formal Logic 31, 232-240. pdf 
  16. 1991. Hypergraph satisfiability, Reports on Math. Logic 25, 113-117.
  17. 1991. Some conjectures related to the four color conjecture, Graph Theory Notes, New York Acad. Sci., 20, 40-41.
  18. 1992. Combinatorial analytic tableau, Reports on Math. Logic 27, 29-39.
  19. 1993. Breakup: a preprocessing algorithm for testing cnfs for satisfiability (with K. Wyatt), Notre Dame J. Formal Logic 34,       602- 606. pdf
  20. 1993. Some connections between set theory and computer science, Lecture Notes in Computer Science 713, 14-22. pdf
  21. 1996, A compactness theorem for linear equations (with W. Emerson), Studia Logica,57, 355-357.
  22. 1998. On finding k4(k3< x) (with W. Emerson), Graph Theory Notes, New York Acad. Sci., 24, 27-31.
  23. 1998. Mathematica Plays Games, (with R. Dickau), Mathematica in Education and Research 7, No. 3, 5-10.
  24. 1998. A compactness theorem for infinite constraint satisfaction, Reports on Math. Logic, 32, 97-108. pdf
  25. 1999. Inversion and Neighborhood Inversion in Graphs (with S. Hechler, J. Kennedy and A. Ryba), Graph Theory Notes of           New York, 37, 37-41.
  26. 2000. The lights out puzzle (with J. Kennedy), Mathematica in Education and Research, 9, No. 1, 28-32. pdf
  27. 2001. Discovering Mathematics with Mathematica (with J. Kennedy), Erudition Books.
  28. 2001. Property S, Reports on Math. Logic, 35, 61-74 pdf.
  29. 2002. Graph coloring compactness theorems equivalent to BPI (with S.H.Hechler and P.Mihok), Scientiae Mathematicae Japonicae, 56, no.2, 213-223 pdf file .
  30. 2004. G-free colorability and the Boolean prime ideal theorem (with S.H.Hechler), Scientiae Mathematicae Japonicae, 59,        no.2, 257- 263 pdf.
  31. 2005. Implementing the Davis-Putnam Algorithm in Mathematica (with Mahmuda Huq and Weldon MacDonald),       Mathematica in Education and Research, 10, No.2, 46-55. pdf
  32. 2007. Odd neighborhood transversals on grid graphs (with S.H.Hechler, J.Kennedy, A.Steinberg), Discrete Math.,                          307 (17-18), 2200 - 2208. pdf
  33. 2007. Davis-Putnam style rules for deciding Property S (with A. Kolany), Fund. Inform., 79(1-2), 5 - 15.pdf
  34. 2008. Totally Greedy Coin Sets and Greedy Obstructions (with L.J. Cowen and A. Steinberg), Electronic J. Combinatorics,        15(1), #R90. pdf
  35. 2009. Generalized Davis-Putnam and satisfiability problems in mathematics, Logic J. of the IGPL(2010), 18(3), 456-463. pdf
  36. 2009.  2-CNFs and Logical Embeddings,  Studia Logica, 93, No. 1,  15-19.pdf
  37. 2010. Slides. Davis-Putnam: A Combinatorial Approach. pdf
  38. 2012. A Method for Constructing Minimally Unsatisfiable CNFs. pdf . The Mathematica program used in the paper is  available       here.
  39. 2013. Using Boolean Computation to Solve Some Problems from Ramsey Theory, The Mathematica Journal, 2013. pdf NB
  40. 2015. Deleting Edges from Ramsey Minimal Examples, Amer. Math. Monthly, August-September, 681-683. 
  41. Adaptive Fault Diagnosis using Self-Referential Reasoning, to appear.

My daughter Lenore, who is  a Mathematician at Tufts has her page here .

My daughter Minda, who is a violin teacher has her web page here .

Mathematica Programming Page

An introduction to Mathematica Programming can be found here.

Games Page

An introduction to programming two person impartial games in Mathematica, together with several examples can be found here.   

Queens College during the Vietnam war 

This page contains personal histories of people who protested the Vietnam War at Queens College in the late 1960's