Seminars & Colloquia Calendar

Download as iCal file

Logic Seminar

First-Order Logic with Isomorphism

Dimitris Tsementzis: Rutgers University

Location:  Hill 705
Date & time: Monday, 20 February 2017 at 5:00PM - 5:11PM

We describe an extension of the syntax and proof system of first-order logic that has a natural semantics in the Univalent Foundations. This allows us to carry out a model theory in which mathematical structures are formalized in terms of homotopy types, just as in traditional model theory they are formalized in terms of sets. After defining the system, we will outline the relevant soundness and completeness results and sketch some applications.

This talk is based on the paper here: ( and relevant slides can be found here: (

Special Note to All Travelers

Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.

Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.