Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Reports on Mathematical Logic

1 2007

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Profinite Structures are Retracts of Ultraproducts of Finite Structures

100%

Mariano H. L. , Miraglia F.

tom No. 42

169-182

We show that if L is a rst-order language with equality, then pronite L-structures, the projective limits of finite L-structures, are retracts of certain ultraproducts of finite L-structures. As a consequence, any elementary class of L-structures axiomatized by L-sentences of the form for all x( 0(~x) -- 1(~x)), where 0(~x); 1(~x) are positive existential L-formulas, is closed under the formation of pronite objects in L-mod, the category of Lstructures and L-homomorphisms. We also mention some interesting applications of our main result to the Theory of Special Groups that have already appeared in the literature.