Logic Seminar - Dimitrios Tsementzis

September 10, 2018
Tuesday, September 18, 2018 - 1:45pm to 2:45pm
Baker Systems Engineering 272
math_sculpture

Title: First-Order Logic with Isomorphism

SpeakerDimitrios 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.

S M T W T F S
 
 
 
 
 
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30