Sheaves of G-structures and generic G-models. arXiv:1304.2477
Preprint, arXiv:1304.2477 [math.LO] (2013).
Summary: 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}}\).
MSC:
03C90 | Nonclassical models (Boolean-valued, sheaf, etc.) |
03C20 | Ultraproducts and related constructions |
18F20 | Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) |
14F05 | Sheaves, derived categories of sheaves, etc. (MSC2010) |
58E40 | Variational aspects of group actions in infinite-dimensional spaces |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.