Logic Seminar - Greg Cousins

March 10, 2019
Tuesday, March 26, 2019 - 1:45pm to 3:00pm
University Hall 082
Logic Seminar

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.

S M T W T F S
 
 
 
 
 
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30