English

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 GG; we call them GG-structures. We show that every exact presheaf of GG-structures M\mathcal{M} has a generic (equivariant) GG-model Mgen\mathcal{M}^{^{gen}}.

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

R2 v1 2026-06-21T23:56:18.736Z