Special logic seminar - Noa Lavi, "Independent chapters in dependent theories"

This talk is about three published papers of mine that form my phd. In the first two chapters I focus in the model theory of real closed fields and in the third one I take one step back and investigate in greater genearility dependent theories.
The results are the following:
1. Boundedness criterion for rational functions over generalized semi-algebraic sets in real closed fields.
2. Positivity criterion for polynomials over generalized semi-algebraic sets in real closed valued fields.
3. A generalization of the generic pair theorem by Shelah [900] to finite diagrams, using generalization of the methods in Shelah [950]

Date: 

Mon, 10/07/2017 - 11:00 to 13:00

Location: 

Ross 70