Definability, interpretations and \'etale fundamental groups
Abstract
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 \'etale fundamental group πet1(X,x) of a non-singular quasiprojective scheme over a field of characteristic 0.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.