2017
Jul
10

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

11:00am to 1:00pm

## Location:

Ross 70

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.