Definability, interpretations and étale 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 étale fundamental group ${\pi }_1^{et}(X,x)$ of a non-singular quasiprojective scheme over a field of characteristic 0.

References in corpus (2)

• The semantics of the canonical commutation relation
• Categoricity and covering spaces

Cited by in corpus (1)

• Modular curves and their pseudo-analytic cover