Sheaves of G-structures and generic G-models
Logic
2016-04-28 v3 Geometric Topology
Abstract
In this article we give an equivariant version for the construction of generic models on presheaves of structures. We deal with first order structures endowed with a suitable action of some fixed group, say ; we call them -structures. We show that every exact presheaf of -structures has a generic (equivariant) -model .
Keywords
Cite
@article{arxiv.1304.2477,
title = {Sheaves of G-structures and generic G-models},
author = {Gabriel Padilla and Andrés Villaveces},
journal= {arXiv preprint arXiv:1304.2477},
year = {2016}
}
Comments
12 pages