$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

## Fudan Logic Student Seminar 2020

### December 29

Time: 15:30 - 17:00. Location: HGW2403.

### December 15

Time: 14:00 - 16:00. Location: HGW2403.

### October 27

Time: 15:30 - 17:00. Location: HGW2403.

#### Forking in Presburger Arithmetic

This work was inspired by A. Dolich, who introduced an equivalent characterization of non-forking in o-minimal theories, which is “halfway-definable". We can extend this method to Presburger arithmetic, and define a concept of “halfway-definable” in the theory. We will eventually prove that, similar to the o-minimal case, in Presburger arithmetic we can also use “halfway-definable” to describe non-forking. In the first report, I will introduce some preliminaries, involving cell decomposition, and the concepts of cut, non-cut, halfway-definable in Presburger arithmetic.