March 26, 2019
1:45PM - 3:00PM
University Hall 082
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
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
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.