Ohio State nav bar

Logic Seminar - Greg Cousins

Logic Seminar
March 26, 2019
1:45PM - 3:00PM
University Hall 082

Date Range
Add to Calendar 2019-03-26 13:45:00 2019-03-26 15:00:00 Logic Seminar - Greg Cousins Title: PAC fields with a strong notion of model completeness Speaker: Greg Cousins (Notre Dame) Abstract: A field K is pseudo-algebraically closed (PAC) if every absolutely irreducible variety defined over K has a K-rational point. I will show that if K is PAC, then simplicity of its theory (in the model-theoretic sense) is equivalent to a certain strong form of model completeness. University Hall 082 Department of Mathematics math@osu.edu America/New_York public

Title: PAC fields with a strong notion of model completeness

Speaker: Greg Cousins (Notre Dame)

Abstract: A field K is pseudo-algebraically closed (PAC) if every absolutely irreducible variety defined over K has a K-rational point. I will show that if K is PAC, then simplicity of its theory (in the model-theoretic sense) is equivalent to a certain strong form of model completeness.

Events Filters: