TY - JOUR T1 - An Institution-independent Generalization of Tarski's Elementary Chain Theorem JO - Journal of Logic and Computation UR - http://dx.doi.org/10.1093/logcom/exm022 PY - 2007/03/21 AU - ED - DO - DOI: 10.1093/logcom/exm022 PB - Oxford University Press (OUP) VL - 17 IS - 3 SP - 605 EP - 605 Y2 - 2024/09/19 ER -