My research interests lie in model theory and intuitionistic logic. My co-advisors
are Steffen Lempp at UW and Wim Ruitenburg at Marquette University. I
often work closely with Jonathan
Fleischmann and Ben Ellison.
I am minoring in math education, and am interested in the mathematical preparation of
future teachers. I have worked in many capacities to help improve UW's math content courses for future
elementary and middle school teachers.
My CV (DRAFT, last updated 04/13/08), and teaching
statement (DRAFT coming soon).
Publications
"Kripke submodels and universal sentences". Ben Ellison, Jonathan
Fleishmann1, Dan McGinn, and Wim Ruitenburg; Mathematical Logic
Quarterly 53 (2007), no. 3, 311-320. pdf
"Quantifier Elimination for a class of intuitionistic theories". Ben
Ellison, Jonathan Fleischmann, Dan McGinn1, and Wim Ruitenburg;
Notre Dame Journal of Formal Logic, Vol. 49, Number 3 (2008), 281--293 pdf
Axiomatizing JRS theories. This preprint will be a portion of my
thesis. Please direct all comments, suggestions and corrections directly
to me. pdf (Last updated
07/15/08) (log)
1: Denotes corresponding author.
More about me.
My office is 316 Van Vleck Hall;
the phone is 3-3062. The best way to get a hold of me is to drop me a line at mcginn
(at) math (dot) wisc (dot) edu.
When I'm not thinking about logic or education, I'm usually worrying about
the Boston
Red Sox, or playing
ultimate frisbee.
Some potentially useful links.
The UW math department page.
The UW logic group.
