skip to content
Logic Seminar [Hide Abstracts]
From November 22, 2009 to December 5, 2009

This Week (November 22, 2009 to November 28, 2009)

No Talks this week.


Next Week (November 29, 2009 to December 5, 2009)
Definite Forms in Valued Fields Link: View Poster
Speaker: Laurel Miller-Sims (Smith College)
Time: Monday, November 30, 2009 at 5:05 pm
Place: Exley Science Center 618 (Wesleyan)
Abstract: Given a valued field (K,v), we say that a rational function f(x) in K(x) is integral or infinitesimal definite on the definable set S if v(f(b)) ≥ 0 or v(f(b))>0, respectively, for each b in S. I will give algebraic characterizations of integral definite and infinitesimal definite rational functions in various model-complete theories of valued fields, analogous to the Positivstellensatz and Negativstellensatz for real closed fields.


Additional Information