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.
Currently, I am co-teaching Math 130 with Matt Koestler-Felton. I have
recently taught Math 136 - Pre-calculus and
Calculus for Middle School Teachers.
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 (plain-text DRAFT, last updated 10/12/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)
My thesis, deposited 05/21/09.
1: Denotes corresponding author.
Slides from a talk given at the Connecticut Logic
Seminar December 1, 2008.
Slides from a talk given at the Marquette
Math Department Colloquium March 6, 2009.
Slides from my thesis defense on May 12, 2009.
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.
