An Institution-independent Generalization of Tarski's Elementary Chain Theorem
Daniel Găină, Andrei Ion Popescu · Journal of Logic and Computation · 2006
Journal Article An Institution-independent Generalization of Tarski's Elementary Chain Theorem Get access Daniel Găină, Daniel Găină Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest. Search for other works by this author on: Oxford Academic Google Scholar Andrei Popescu Andrei Popescu Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 16, Issue 6, December 2006, Pages 713–735, https://doi.org/10.1093/logcom/exl006 Published: 12 August 2006