Joseph Flenner
Research Assistant Professor
Ph.D., Univerisity of Calfornia, Berkeley, 2008
B.S., University of Michigan, 2000
Email: flenner.1@nd.edu
Office: 118 Hayes-Healy Hall
Phone: (574) 631-6505
Fax: (574) 631-6579
For additional information see Joseph Flenner’s Personal Page.
Research Interests
Joseph Flenner's research is focused on interactions between logic and algebra, primarily in model theory. In particular, he has been investigating definability in valued fields, with the goal of giving a characterization of the definable sets of henselian valued fields via elimination of imaginaries relative to structures of leading terms. More recently, he has also started looking at the application of the model theory of valued fields to tropical geometry.
Flenner is also interested in arithmetic questions about decidability, including in particular Hilbert’s Tenth Problem. For example, he has considered the problem of describing definable classes of finitely generated fields.
Courses taught:
2009 Fall: Instructor for "Calculus II"
2010 Spring: Instructor for "Calculus II"
Talks given:
Relative decidability in henselian valued fields. Fall 2009, logic seminars of University of Illinois and University of Notre Dame
Meetings attended:
June 2010, AMS Mathematics Research Communities workshop on Model Theory of Fields in Snowbird, UT
March 2010, Association for Symbolic Logic 2010 Annual Meeting in Washington, DC
November 2009, Midwest Model Theory Meeting in Urbana-Champaign, IL
Selected Publications
- Relative decidability and definability in henselian valued fields. Submitted, 2010. Preprint currently available at http://www.nd.edu/~jflenner/research.html.
Please direct questions and comments to: flenner.1@nd.edu
