Definability, interpretations and étale fundamental groups

The aim of the paper and of a wider project is to translate main notions of anabelian geometry into the language of model theory. Here we finish with giving the definition of the étale fundamental group $π^{et}_1(X,x)$ of a non-singular quasiprojective scheme over a field of characteristic 0.

No reviews yet.

No comments yet.