Joan Hart

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

Telephone: 424-1053
Office: Swart 120

Spring 2017 Office Hours:
Mon., Wed., Fri. :   9:10 - 10:10 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.


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.


The papers are available both in postscript or pdf.


Spring 2017:

Fall 2016:

Spring 2016:

Fall 2015:

Spring 2015:

Fall 2014:

Spring 2014:

Fall 2013:

Spring 2013:

Fall 2012:

Spring 2012:

Last Changed: Sept. 2, 2016.