When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
DOI10.1093/JIGPAL/JZY005zbMATH Open1492.08001arXiv1709.01706OpenAlexW3100046908MaRDI QIDQ5095643FDOQ5095643
Authors: Juan Climent Vidal, Enric Cosme-Llópez
Publication date: 10 August 2022
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.01706
Recommendations
- Profinite structures are retracts of ultraproducts of finite structures
- On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra
- On the directly and subdirectly irreducible many-sorted algebras.
- Inverse limits of algebras as retracts of their direct products
- Many-sorted algebras in congruence modular varieties
inductive limitretractultraproductprojective limitprofinitefamily of many-sorted algebras with constant supportsupport of a many-sorted set
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Ultraproducts and related constructions (03C20) Heterogeneous algebras (08A68)
Cited In (3)
This page was built for publication: When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5095643)