Model Theory Working Seminar

Rahim Moosa, University of Waterloo

Curve excluding fields I

Recently, Johnson and Ye have proved an attractive and somewhat surprising result: Suppose C is an algebraic curve of genus at least two having no rational points. Then the class of fields over which C has no rational points, has a model companion. This model companion, they call it CXF, turns out to answer several old questions.