Joan Hart

Mathematics Department
University of Wisconsin Oshkosh
800 Algoma Boulevard
Oshkosh, WI. 54901-8631

E-mail: hartj@uwosh.edu
Telephone: 424-1053
Office: Swart 120
 

Spring 2010 Office Hours:
Mon., Wed., Fri. :   10:20 - 11:20 am
or by appointment

Ph.D., University of Wisconsin -- Madison, 1996.
Advisor: Kenneth Kunen
M.A. in Mathematics, Miami University, Oxford, Ohio, 1989.
Interests: set theory and logic, topology, automated deduction.

Research

My research is in set theory and its applications to general topology, measure theory, and functional analysis.

I am also interested in using computer tools to do work in algebra. For information on automated reasoning tools, see the Prover9 and Mace4 web page.

Publications

The following are available both in postscript or pdf.
  1. Hart, J. & Kunen, K., Single Axioms for Odd Exponent Groups, J. Automated Reasoning 14 (1995) 383-412.
    postscript file     pdf file
  2. Hart, J. & Kunen, K., Locally Constant Functions, Fundamenta Mathematicae 150 (1996) 67-96.
    postscript file      pdf file
  3. Hart, J. & Kunen, K., Review of "Notes on Set Theory" by Moschovakis, American Mathematical Monthly 103 (1996) 87-91.
    postscript file     pdf file
  4. Hart, J. & Kunen, K., Weak Measure Extension Axioms, Topology and its Applications 85 (1998) 219-246.
    postscript file     pdf file
  5. Hart, J. & Kunen, K., Bohr Compactifications of Discrete Structures, Fundamenta Mathematicae 160 (1999) 101-151.
    postscript file     pdf file
  6. Hart, J. & Kunen, K., On the Regularity of the Topology of Separate Continuity, Topology and its Applications 123 (2002) 103-123.
    postscript file     pdf file
  7. Hart, J. & Kunen, K., Orthogonal Continuous Functions, Real Analysis Exchange 25 (1999/00) No. 2 653-659.
    postscript file     pdf file
  8. Hart, J. & Kunen, K., Bohr Topologies and Compact Function Spaces, Topology and its Applications 125 (2002) 183-198.
    postscript file     pdf file
  9. Hart, J. & Kunen, K., Bohr Compactifications of Non-Abelian Groups, Topology Proceedings 26 No. 2 (2002) 593-626.
    postscript file     pdf file
  10. Hart, J. & Kunen, K., Limits in Function Spaces and Compact Groups, Topology and its Applications 151 (2005) 157-168.
    postscript file     pdf file
  11. Hart, J. & Kunen, K., Complex Function Algebras and Removable Spaces, Topology and its Applications 153 (2006) 2241-2259.
    postscript file     pdf file
  12. Hart, J. & Kunen, K., Limits in Compact Abelian Groups, Topology and its Applications 153 (2005) 991-1002.
    postscript file     pdf file
  13. Hart, J. & Kunen, K., Inverse Limits and Function Algebras, Topology Proceedings 30 No. 2 (2006) 501-521.
    postscript file     pdf file
  14. Hart, J. & Kunen, K., First Countable Continua and Proper Forcing, Canadian Journal of Mathematics 61 (2009) No. 3 604-616.
    postscript file     pdf file
  15. Hart, J. & Kunen, K., One Dimensional Locally Connected S-spaces, Topology and its Applications 156 (2009) 601-609.
    postscript file     pdf file
  16. Hart, J. & Kunen, K., Aronszajn Compacta, Topology Proceedings 35 (2010) 107-125.
    postscript file     pdf file
  17. Hart, J. & Kunen, K., Arcs in the Plane, to appear, Topology and its Applications.
    postscript file     pdf file

Courses

Spring 2010:

Fall 2009:

Spring 2009:

Spring 2008:


Last Changed: Feb. 1, 2010.