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^{et}_1(X,x)$ of a non-singular quasiprojective scheme over a field of characteristic 0.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2019
- DOI:
- 10.48550/arXiv.1906.05052
- arXiv:
- arXiv:1906.05052
- Bibcode:
- 2019arXiv190605052A
- Keywords:
-
- Mathematics - Logic;
- 03C65;
- 14G40