An institution-independent generalization of Tarski’s Elementary Chain Theorem (0)

by Daniel Găină, Andrei Popescu
Venue:Journal of Logic and Computation