check
Special logic seminar - Noa Lavi, "Independent chapters in dependent theories" | Einstein Institute of Mathematics

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

Date: 
Mon, 10/07/201711:00-13:00
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.
3. A generalization of the generic pair theorem by Shelah [900] to finite diagrams, using generalization of the methods in Shelah [950]