The downward Lowenheim-Skolem theorem for L-structures in Ω-sets
Francisco Miraglia Neto Latin American Symposium of Mathematical Logic (7. 1985 Campinas)
Carnielli, W A; Alcantara, L P, ed Providence : Ams, 1988 Contemporary mathematics, 69 Methods and applications of mathematical logicProvidence Ams 1988
Localização: IME - Inst. Matemática e Estatística (PROD-776244 )(Acessar)