Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Sheaves of G-structures and generic G-models
(Submitted on 9 Apr 2013 (v1), last revised 26 Apr 2016 (this version, v3))
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 $G$; we call them $G$-structures. We show that every exact presheaf of $G$-structures $\mathcal{M}$ has a generic (equivariant) $G$-model $\mathcal{M}^{^{gen}}$.
Submission history
From: Gabriel Padilla Leon [view email][v1] Tue, 9 Apr 2013 07:38:16 GMT (18kb)
[v2] Sat, 27 Apr 2013 04:49:19 GMT (18kb)
[v3] Tue, 26 Apr 2016 21:33:14 GMT (14kb)
Link back to: arXiv, form interface, contact.