Model-theoretical constructions in AST. I. (English) Zbl 0617.03036

In the paper two classical model constructions (the isomorphism of saturated and elementary equivalent structures and the limit of the elementary chain) are investigated in the framework of AST. No remarkable or unexpected results appear there. It is shown that the treatment with these two constructions in AST (which seems to be plausible) really works. The paper is also useful for quotation.


03E70 Nonclassical and second-order set theories
03C30 Other model constructions
Full Text: EuDML