Profinite Structures are Retracts of Ultraproducts of Finite Structures

Hugo Luiz Mariano

We establish the following model-theoretic characterization: profinite $L$-structures, the cofiltered limits of finite $L$-structures,are retracts of ultraproducts of finite $L$-st…