September 18, 2018
1:45PM - 2:45PM
Baker Systems Engineering 272
Add to Calendar
2018-09-18 13:45:00
2018-09-18 14:45:00
Logic Seminar - Dimitrios Tsementzis
Title: First-Order Logic with Isomorphism
Speaker: Dimitrios Tsementzis (Rutgers University)
Abstract: The Univalent Foundations (UF) is a proposed foundation for mathematics that takes as primitive a notion of space (rather than a notion of set). A logic for UF would be a formal system which expresses theories formalized in terms of spaces, just as first-order logic expresses theories formalized in terms of sets. After a quick introduction to UF, I will proceed to develop such a logic, and sketch a proof that it is sound and complete with respect to its spatial semantics.
Baker Systems Engineering 272
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
Add to Calendar
2018-09-18 13:45:00
2018-09-18 14:45:00
Logic Seminar - Dimitrios Tsementzis
Title: First-Order Logic with Isomorphism
Speaker: Dimitrios Tsementzis (Rutgers University)
Abstract: The Univalent Foundations (UF) is a proposed foundation for mathematics that takes as primitive a notion of space (rather than a notion of set). A logic for UF would be a formal system which expresses theories formalized in terms of spaces, just as first-order logic expresses theories formalized in terms of sets. After a quick introduction to UF, I will proceed to develop such a logic, and sketch a proof that it is sound and complete with respect to its spatial semantics.
Baker Systems Engineering 272
Department of Mathematics
math@osu.edu
America/New_York
public
Title: First-Order Logic with Isomorphism
Speaker: Dimitrios Tsementzis (Rutgers University)
Abstract: The Univalent Foundations (UF) is a proposed foundation for mathematics that takes as primitive a notion of space (rather than a notion of set). A logic for UF would be a formal system which expresses theories formalized in terms of spaces, just as first-order logic expresses theories formalized in terms of sets. After a quick introduction to UF, I will proceed to develop such a logic, and sketch a proof that it is sound and complete with respect to its spatial semantics.